util/paths.py
changeset 1847 6198190bc121
parent 1744 69dfdb26f600
child 1881 091005ec69c4
--- a/util/paths.py	Tue Oct 03 16:31:31 2017 +0300
+++ b/util/paths.py	Thu Oct 05 16:38:49 2017 +0300
@@ -43,6 +43,6 @@
 
 def AbsParentDir(file, level=1):
     path = AbsDir(file)
-    for i in range(0, level):
+    for dummy in range(0, level):
         path = os.path.dirname(path)
     return path