From 0b31fa647c786513c9addc5f8c55708f05226e03 Mon Sep 17 00:00:00 2001
From: Andrei Karas <akaras@inbox.ru>
Date: Sat, 18 Jun 2011 23:41:58 +0300
Subject: Change example branding file extension from mana to manaplus. Fix
 some useless settings.

---
 docs/example.mana | 24 ------------------------
 1 file changed, 24 deletions(-)
 delete mode 100644 docs/example.mana

(limited to 'docs/example.mana')

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>
-- 
cgit v1.2.3-70-g09d2