[Commits] [wesnoth/wesnoth] 07b5b4: Fixed a bug in PR #431 which broke wmlindent

GitHub noreply at github.com
Tue Jul 28 20:31:43 UTC 2015


  Branch: refs/heads/master
  Home:   https://github.com/wesnoth/wesnoth
  Commit: 07b5b4e3f3452e3b01584a5d079044a477cd0f15
      https://github.com/wesnoth/wesnoth/commit/07b5b4e3f3452e3b01584a5d079044a477cd0f15
  Author: Elvish_Hunter <elvish.hunter2010 at gmail.com>
  Date:   2015-07-28 (Tue, 28 Jul 2015)

  Changed paths:
    M data/tools/wmlindent

  Log Message:
  -----------
  Fixed a bug in PR #431 which broke wmlindent





More information about the Commits mailing list