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

For bug #13095, warn on files with a tilde *anywhere*.

Browse source
This commit is contained in:
Eric S. Raymond 2009-03-30 01:40:36 +00:00
parent 2a84210a82
commit 963249b101
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

@ -1931,7 +1931,7 @@ if __name__ == '__main__':
backup, fn, fromdate, todate, n=3)
sys.stdout.writelines(diff)
else:
if fn.endswith("~"):
if "~" in fn:
print "wmllint: ignoring %s, the campaign server won't accept it." % fn
continue
# Do file conversions