0ct0pu5/wesnoth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

wmllint: Treat .mask files as maps

Browse source
This commit is contained in:
Celtic Minstrel 2019-09-02 12:04:12 -04:00
parent 9be9dd931d
commit 8ce01da249
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
data/tools/wmllint
View file

@ -2553,7 +2553,7 @@ def maptransform(filename, baseline, inmap, y):
def is_map(filename):
"Is this file a map?"
return filename.endswith(".map")
return filename.endswith(".map") or filename.endswith(".mask")
if 0: # Not used, as there are currently no defined map transforms
class maptransform_error(BaseException):