diff options
| author | Andrei Karas <akaras@inbox.ru> | 2011-06-18 23:41:58 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2011-06-18 23:41:58 +0300 |
| commit | 0b31fa647c786513c9addc5f8c55708f05226e03 (patch) | |
| tree | 361b1dc0970c05788a4a657355a63729346a3dcb /docs/example.mana | |
| parent | dc6771670569d2f296f4c12595966bbcb9aadf65 (diff) | |
| download | mv-0b31fa647c786513c9addc5f8c55708f05226e03.tar.gz mv-0b31fa647c786513c9addc5f8c55708f05226e03.tar.bz2 mv-0b31fa647c786513c9addc5f8c55708f05226e03.tar.xz mv-0b31fa647c786513c9addc5f8c55708f05226e03.zip | |
Change example branding file extension from mana to manaplus.
Fix some useless settings.
Diffstat (limited to 'docs/example.mana')
| -rw-r--r-- | docs/example.mana | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/docs/example.mana b/docs/example.mana deleted file mode 100644 index 9173efb01..000000000 --- a/docs/example.mana +++ /dev/null @@ -1,24 +0,0 @@ -<?xml version="1.0"?> - -<!-- -Example branding file - -With a branding file you can customize the appearance and various -other default settings. To use a branding file just pass its -filename / path as a command line parameter ---> - -<configuration> - <option name="appName" value="Mana"/> - <option name="appShort" value="mana"/> - <option name="appIcon" value="icons/mana.png"/> - <option name="loginMusic" value="Magick - Real.ogg"/> - <option name="onlineServerList" value="http://manasource.org/serverlist.xml"/> - <option name="defaultServer" value="testing.manasource.org"/> - <option name="defaultPort" value="9601"/> - <option name="defaultServerType" value="manaserv"/> - <option name="defaultUpdateHost" value="http://updates.themanaworld.org"/> - <option name="font" value="fonts/dejavusans.ttf" /> - <option name="boldFont" value="fonts/dejavusans-bold.ttf" /> - <option name="theme" value="wood" /> -</configuration> |