uninstall.py

changeset 6188
5a6ae3be31e6
parent 6048
82ad8ec9548c
child 6214
89a53d80e729
--- a/uninstall.py	Mon Mar 12 19:57:16 2018 +0100
+++ b/uninstall.py	Tue Mar 13 14:54:46 2018 +0100
@@ -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