Server/Properties/Settings.settings
changeset 43 86aad774b532
parent 16 985ca4b6e099
child 46 0c0ee86760ea