[Commits] [wesnoth/wesnoth] d2888b: wmltools GUI: remove -f and -p wmllint options, ad...

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/wesnoth/wesnoth
  Commit: d2888b1ab3235754f3d7ab35d74483a455981d4f
      https://github.com/wesnoth/wesnoth/commit/d2888b1ab3235754f3d7ab35d74483a455981d4f
  Author: Groggy Dice <groggydice at yahoo.com>
  Date:   2014-08-06 (Wed, 06 Aug 2014)

  Changed paths:
    M data/tools/GUI.pyw

  Log Message:
  -----------
  wmltools GUI: remove -f and -p wmllint options, add -m