Server/Properties/Settings.settings
changeset 183 e9a5dc5092fd
parent 153 95f253aaf588
child 194 b0c0aa5aea05