[Commits] [wesnoth/wesnoth-old] 16677d: wmllint: Add check for [theme]s without an id

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/wesnoth/wesnoth-old
  Commit: 16677d019e89dfecb76c7a9b5d0675fcba7250d9
      https://github.com/wesnoth/wesnoth-old/commit/16677d019e89dfecb76c7a9b5d0675fcba7250d9
  Author: Ignacio R. Morelle <shadowm at wesnoth.org>
  Date:   2014-02-19 (Wed, 19 Feb 2014)

  Changed paths:
    M data/tools/wmllint

  Log Message:
  -----------
  wmllint: Add check for [theme]s without an id