Server/Properties/Settings.settings
changeset 144 8e4c7cca77b8
parent 94 fe939a729030
child 153 95f253aaf588