ThomasV 3c6cfc8b70 disable server selector if server is passed from cmd line

2015-01-29 13:35:19 +01:00

16 KiB

Raw Blame History

View Raw