install-i18n.py

changeset 6187
2cc7e3629784
parent 6048
82ad8ec9548c
child 6303
ec9ebaf206fb
diff -r 83451f10f3eb -r 2cc7e3629784 install-i18n.py
--- a/install-i18n.py	Mon Mar 12 19:49:46 2018 +0100
+++ b/install-i18n.py	Mon Mar 12 19:57:16 2018 +0100
@@ -106,7 +106,7 @@
 
     global platBinDir
     
-    for opt, arg in optlist:
+    for opt, _arg in optlist:
         if opt == "-h":
             usage(0)
         elif opt == "-p":

eric ide

mercurial