wmllint-1.4: use Python 3 range()

That's the function known in Python 2 as xrange().
2015-09-12 15:30:55 +02:00 · 2015-09-12 15:30:55 +02:00 · 91f5bf16c2
commit 91f5bf16c2
parent 1d2944569c
1 changed files with 1 additions and 0 deletions
--- a/data/tools/wmllint-1.4
+++ b/data/tools/wmllint-1.4
@ -75,6 +75,7 @@

 from __future__ import print_function, unicode_literals
 from future_builtins import filter, map, zip
+range = xrange

 import sys, os, re, getopt, string, copy, difflib, time, codecs
 from wesnoth.wmltools import *