diff -r 2e4d2558bb21 -r 448e6a616c22 Server/Properties/Settings.settings --- a/Server/Properties/Settings.settings Fri Aug 19 19:18:54 2016 +0200 +++ b/Server/Properties/Settings.settings Fri Aug 19 19:28:03 2016 +0200 @@ -20,12 +20,6 @@ False - - None - - - None - False