Revert "Changelog entries for the recent wmltools gui changes"

This reverts commit 67f4b8e.
wesnoth · Jan 23, 2015 · eee165e · eee165e
1 parent 67f4b8e
commit eee165e
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/changelog b/changelog
@@ -67,7 +67,6 @@ Version 1.12.0+dev:
    * Disallowed toggling Delayed Shroud Updates when not the player's turn as
      it causes OOS.
    * Fixed problems building wesnothd using cmake if not building the game
-   * Add a wmltools GUI option to skip core when running wmllint
 
 Version 1.12.0:
  * Language and i18n:

diff --git a/players_changelog b/players_changelog
@@ -35,7 +35,6 @@ Version 1.12.0+dev:
    * Fixed hotkeys for changing tips in titlescreen.
    * Disallowed toggling Delayed Shroud Updates when not the player's turn as
      it causes OOS.
-   * Add a wmltools GUI option to skip core when running wmllint
 
 
 Version 1.12.0: