[Commits] [wesnoth/wesnoth] 53c2ef: wmltools GUI: Added option to skip core when runni...

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/wesnoth/wesnoth
  Commit: 53c2ef9cb72378f2f53e59ea082b946537b4d536
      https://github.com/wesnoth/wesnoth/commit/53c2ef9cb72378f2f53e59ea082b946537b4d536
  Author: Charles Dang <exodia339 at gmail.com>
  Date:   2015-01-17 (Sat, 17 Jan 2015)

  Changed paths:
    M data/tools/GUI.pyw

  Log Message:
  -----------
  wmltools GUI: Added option to skip core when running wmllint