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.
wesnoth · Feb 14, 2016 · b9380e8 · b9380e8
1 parent 0537fc2
commit b9380e8
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/data/tools/wesnoth/wmltools3.py b/data/tools/wesnoth/wmltools3.py
@@ -928,4 +928,7 @@ def resolve_unit_image(namespace, subdir, resource):
 # And this is for code that does syntax transformation
 baseindent = "    "
 
+# a constant to detect version control directories
+vcdir = ".git"
+
 # wmltools.py ends here