[wesnoth-commits] [wesnoth/wesnoth] 76b155: wmllint: implemented a better handling of amendmen...

[Elvish_Hunter]

  Branch: refs/heads/master
  Home:   https://github.com/wesnoth/wesnoth
  Commit: 76b155f940ff3825496b6787ef3c7914e461df6a
      https://github.com/wesnoth/wesnoth/commit/76b155f940ff3825496b6787ef3c7914e461df6a
  Author: Elvish_Hunter <elvish.hunter2010 at gmail.com>
  Date:   2020-07-10 (Fri, 10 Jul 2020)

  Changed paths:
    M data/tools/wmllint

  Log Message:
  -----------
  wmllint: implemented a better handling of amendment tags

This should solve some 'unknown ... referred to by id' warnings that might happen when using certain amendment tags.