[wesnoth-commits] [wesnoth/wesnoth] 9b5c0d: wmllint: do not warn about unknown IDs in [aspect]

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/wesnoth/wesnoth
  Commit: 9b5c0dda5c819e5ac6a40a78241a36e022a84f75
      https://github.com/wesnoth/wesnoth/commit/9b5c0dda5c819e5ac6a40a78241a36e022a84f75
  Author: Elvish_Hunter <elvish.hunter2010 at gmail.com>
  Date:   2018-08-12 (Sun, 12 Aug 2018)

  Changed paths:
    M data/tools/wmllint

  Log Message:
  -----------
  wmllint: do not warn about unknown IDs in [aspect]


  Commit: 2dda3280c1b3098aba146e2775e58577930d3e60
      https://github.com/wesnoth/wesnoth/commit/2dda3280c1b3098aba146e2775e58577930d3e60
  Author: Elvish_Hunter <elvish.hunter2010 at gmail.com>
  Date:   2018-08-12 (Sun, 12 Aug 2018)

  Changed paths:
    M data/tools/wmllint

  Log Message:
  -----------
  wmllint: do not warn about unknown IDs in [remove_event]


  Commit: 2d045f2a6a47c58b5bb1d77d3c836119e5978708
      https://github.com/wesnoth/wesnoth/commit/2d045f2a6a47c58b5bb1d77d3c836119e5978708
  Author: Elvish_Hunter <elvish.hunter2010 at gmail.com>
  Date:   2018-08-12 (Sun, 12 Aug 2018)

  Changed paths:
    M data/tools/wmllint

  Log Message:
  -----------
  wmllint: do not warn about unknown IDs in [tunnel], except inside of [filter]


  Commit: 6e696661fdc8710a4310d3a2fd7228e3f135e5ed
      https://github.com/wesnoth/wesnoth/commit/6e696661fdc8710a4310d3a2fd7228e3f135e5ed
  Author: Elvish_Hunter <elvish.hunter2010 at gmail.com>
  Date:   2018-08-12 (Sun, 12 Aug 2018)

  Changed paths:
    M data/tools/wmllint

  Log Message:
  -----------
  wmllint: don't even try to convert _info.cfg


  Commit: b1ec52cab84a5a18bd1518449fec374f4be3492b
      https://github.com/wesnoth/wesnoth/commit/b1ec52cab84a5a18bd1518449fec374f4be3492b
  Author: Elvish_Hunter <elvish.hunter2010 at gmail.com>
  Date:   2018-08-12 (Sun, 12 Aug 2018)

  Changed paths:
    M data/tools/wmllint

  Log Message:
  -----------
  wmllint: added [lua] to the allowed children of [if]


Compare: https://github.com/wesnoth/wesnoth/compare/b6507cbbf2d0...b1ec52cab84a
      **NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/

      Functionality will be removed from GitHub.com on January 31st, 2019.