uninstall.py

branch
maintenance
changeset 6206
a02b03b7bfec
parent 6188
5a6ae3be31e6
child 6214
89a53d80e729
--- a/uninstall.py	Sun Mar 04 14:55:23 2018 +0100
+++ b/uninstall.py	Mon Apr 02 12:04:18 2018 +0200
@@ -342,7 +342,7 @@
 
     global platBinDir
 
-    for opt, arg in optlist:
+    for opt, _arg in optlist:
         if opt == "-h":
             usage(0)
         if opt == "-y":

eric ide

mercurial