[Commits] [wesnoth/wesnoth] b9380e: wmltools3: fixed a bug reported by Robertdebrus in...

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/wesnoth/wesnoth
  Commit: b9380e88c1b21d3f08e7619ba9904830c53ba11c
      https://github.com/wesnoth/wesnoth/commit/b9380e88c1b21d3f08e7619ba9904830c53ba11c
  Author: Elvish_Hunter <elvish.hunter2010 at gmail.com>
  Date:   2016-02-15 (Mon, 15 Feb 2016)

  Changed paths:
    M data/tools/wesnoth/wmltools3.py

  Log Message:
  -----------
  wmltools3: fixed a bug reported by Robertdebrus in PR #596

The bug consisted in the accidental removal of the 'vcdir' constant, still used by wmlindent and wmllint-1.4.