Server/Properties/Settings.settings
changeset 33 1363bda20171
parent 16 985ca4b6e099
child 46 0c0ee86760ea