only prompt if _selected_servers is not set - archinstall32

Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.

diff options

author	Yash Tripathi <tripathiyash97@gmail.com>	2021-08-20 03:54:23 +0530
committer	GitHub <noreply@github.com>	2021-08-20 03:54:23 +0530
commit	c461cc49e756332578e99404fa757a5610f0992c (patch)
tree	aa44f306e9855aa34b877dce7411f82e441be677 /.gitignore
parent	78bbf26c1aa02f34366020ec4d9212836fafc3dd (diff)

only prompt if _selected_servers is not set

Diffstat (limited to '.gitignore')

0 files changed, 0 insertions, 0 deletions