[Commits] [wesnoth/wesnoth] a8199e: wmllint gui: made some options in the wmlscope tab...

[GitHub]

  Branch: refs/heads/1.12
  Home:   https://github.com/wesnoth/wesnoth
  Commit: a8199e9406acdd95c48f98e0a92465a7cbae57ec
      https://github.com/wesnoth/wesnoth/commit/a8199e9406acdd95c48f98e0a92465a7cbae57ec
  Author: Elvish_Hunter <elvish.hunter2010 at gmail.com>
  Date:   2014-05-29 (Thu, 29 May 2014)

  Changed paths:
    M data/tools/GUI.pyw

  Log Message:
  -----------
  wmllint gui: made some options in the wmlscope tab evenly spaced