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

[GitHub]

  Branch: refs/heads/1.14
  Home:   https://github.com/wesnoth/wesnoth
  Commit: 03510c36c1a100241304fee3863b0536a0f68f90
      https://github.com/wesnoth/wesnoth/commit/03510c36c1a100241304fee3863b0536a0f68f90
  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: 6164980ebc79cd581b648505aa8a4beadfd4a8dc
      https://github.com/wesnoth/wesnoth/commit/6164980ebc79cd581b648505aa8a4beadfd4a8dc
  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: 0bcb0e00d34f6f9140c4e97c0311a4b47ec00488
      https://github.com/wesnoth/wesnoth/commit/0bcb0e00d34f6f9140c4e97c0311a4b47ec00488
  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: d128e605a725240106cafe8f10b939e922e7f514
      https://github.com/wesnoth/wesnoth/commit/d128e605a725240106cafe8f10b939e922e7f514
  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: eb65a44de0494dad4a4c4f02317043e2898f01cb
      https://github.com/wesnoth/wesnoth/commit/eb65a44de0494dad4a4c4f02317043e2898f01cb
  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/fa144aab9cb4...eb65a44de049
      **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.