Server/Properties/Settings.settings
changeset 281 5fb86ef890f9
parent 268 31d4905ad28a