Server/Properties/Settings.settings
changeset 276 7cd495550d5f
parent 268 31d4905ad28a