Bump version to 1.13.0-dev

The version between 1.12.0 and 1.12.1 is 1.12.0+dev, and 1.12.0 hasn't happened yet.
wesnoth · Mar 7, 2014 · 8b6c921 · 8b6c921
1 parent 13308d8
commit 8b6c921
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/Doxyfile b/Doxyfile
@@ -31,7 +31,7 @@ PROJECT_NAME           = "The Battle for Wesnoth"
 # This could be handy for archiving the generated documentation or 
 # if some version control system is used.
 
-PROJECT_NUMBER         = 1.12.0+dev
+PROJECT_NUMBER         = 1.13.0-dev
 
 # The OUTPUT_DIRECTORY tag is used to specify the (relative or absolute) 
 # base path where the generated documentation will be put. 

diff --git a/changelog b/changelog
@@ -1,4 +1,4 @@
-Version 1.12.0+dev:
+Version 1.13.0-dev:
  * AI:
    * Fixed a bug that made it impossible to change or delete Micro AIs after a
      game had been reloaded (bug #21750). This was a general bug in the RCA AI

diff --git a/players_changelog b/players_changelog
@@ -2,7 +2,7 @@ This is meant to be a concise list of player-visible changes (very minor
 changes may be omitted). For a complete list of changes, see the main
 changelog: https://github.com/wesnoth/wesnoth/blob/master/changelog
 
-Version 1.12.0+dev:
+Version 1.13.0-dev:
  * Language and i18n:
    * Updated translations: German, Slovak.
 

diff --git a/src/wesconfig.h b/src/wesconfig.h
@@ -23,7 +23,7 @@
 #ifdef VERSION
   #undef VERSION
 #endif
-#define VERSION "1.12.0+dev"
+#define VERSION "1.13.0-dev"
 #ifndef PACKAGE
 #define PACKAGE "wesnoth"
 #endif