[wesnoth-commits] [wesnoth/wesnoth] 708a51: Micro AI Demos: save maps in new format

[GitHub]

  Branch: refs/heads/1.14
  Home:   https://github.com/wesnoth/wesnoth
  Commit: 708a5136a3ea78a48ca1bf6d1c51fab3ac3ccefd
      https://github.com/wesnoth/wesnoth/commit/708a5136a3ea78a48ca1bf6d1c51fab3ac3ccefd
  Author: Severin Glöckner <severin.gloeckner at stud.htwk-leipzig.de>
  Date:   2018-09-14 (Fri, 14 Sep 2018)

  Changed paths:
    M data/ai/micro_ais/maps/animals.map
    M data/ai/micro_ais/maps/bottleneck_defense.map
    M data/ai/micro_ais/maps/lurkers.map
    M data/ai/micro_ais/maps/messenger_escort.map
    M data/ai/micro_ais/maps/protect_unit.map

  Log Message:
  -----------
  Micro AI Demos: save maps in new format

[ci skip]


  Commit: cf15d38420603796e4354aca9f303a6321c67c54
      https://github.com/wesnoth/wesnoth/commit/cf15d38420603796e4354aca9f303a6321c67c54
  Author: Severin Glöckner <severin.gloeckner at stud.htwk-leipzig.de>
  Date:   2018-09-14 (Fri, 14 Sep 2018)

  Changed paths:
    M data/ai/micro_ais/maps/lurkers.map

  Log Message:
  -----------
  Micro AI Demos: use Cme instead of Chw for lurkers map

[ci skip]


  Commit: d4d1e588c5c64d4783def91dce4482f9b37f1b95
      https://github.com/wesnoth/wesnoth/commit/d4d1e588c5c64d4783def91dce4482f9b37f1b95
  Author: Severin Glöckner <severin.gloeckner at stud.htwk-leipzig.de>
  Date:   2018-09-14 (Fri, 14 Sep 2018)

  Changed paths:
    M po/wesnoth-ai/de.po
    M po/wesnoth-aoi/de.po
    M po/wesnoth-dm/de.po
    M po/wesnoth-ei/de.po
    M po/wesnoth-help/de.po
    M po/wesnoth-httt/de.po
    M po/wesnoth-manual/de.po
    M po/wesnoth-multiplayer/de.po
    M po/wesnoth-nr/de.po
    M po/wesnoth-sof/de.po
    M po/wesnoth-thot/de.po
    M po/wesnoth-units/de.po
    M po/wesnoth/de.po

  Log Message:
  -----------
  German translations (some)

[ci skip]


Compare: https://github.com/wesnoth/wesnoth/compare/251c44c84c7e...d4d1e588c5c6
      **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.