From 0b31fa647c786513c9addc5f8c55708f05226e03 Mon Sep 17 00:00:00 2001 From: Andrei Karas 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 ------------------------ docs/example.manaplus | 24 ++++++++++++++++++++++++ 2 files changed, 24 insertions(+), 24 deletions(-) delete mode 100644 docs/example.mana create mode 100644 docs/example.manaplus (limited to 'docs') 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 @@ - - - - - - diff --git a/docs/example.manaplus b/docs/example.manaplus new file mode 100644 index 000000000..8be9c675e --- /dev/null +++ b/docs/example.manaplus @@ -0,0 +1,24 @@ + + + + + + -- cgit v1.2.3-70-g09d2