scripts/install.py

changeset 8205
4a0f1f896341
parent 8128
8f012c58f27e
child 8214
51f0d3e047ec
diff -r fd477cded1c1 -r 4a0f1f896341 scripts/install.py
--- a/scripts/install.py	Thu Apr 08 17:27:12 2021 +0200
+++ b/scripts/install.py	Thu Apr 08 18:27:47 2021 +0200
@@ -740,7 +740,7 @@
     try:
         # Install the files
         # make the install directories
-        for key in cfg.keys():
+        for key in cfg:
             if cfg[key] and not os.path.isdir(cfg[key]):
                 os.makedirs(cfg[key])
         

eric ide

mercurial