Update insertoverlay.py
Cette révision appartient à :
@@ -28,7 +28,6 @@ def do_file(fn, start=0) :
|
|||||||
# some integer overlays may not be referred to (especially 1), so we add them
|
# some integer overlays may not be referred to (especially 1), so we add them
|
||||||
xs |= set(range(1, int(max(xs))))
|
xs |= set(range(1, int(max(xs))))
|
||||||
newi = dict(zip(sorted(xs), range(1, len(xs)+1)))
|
newi = dict(zip(sorted(xs), range(1, len(xs)+1)))
|
||||||
print(newi)
|
|
||||||
for l in ls:
|
for l in ls:
|
||||||
sys.stdout.write(sub(l, newi))
|
sys.stdout.write(sub(l, newi))
|
||||||
|
|
||||||
|
|||||||
Référencer dans un nouveau ticket
Bloquer un utilisateur