TOTOleHero
diff --git a/‎tools/get.exe
Copy file name to clipboard
13 Bytes b/‎tools/get.exe
Copy file name to clipboard
13 Bytes
diff --git a/‎tools/get.py
Copy file name to clipboard
100755100644
Expand all lines: tools/get.py
+1Lines changed: 1 addition & 0 deletions b/‎tools/get.py
Copy file name to clipboard
100755100644
Expand all lines: tools/get.py
+1Lines changed: 1 addition & 0 deletions
@@ -80,6 +80,7 @@ def get_tool(tool):
         print('Downloading ' + archive_name);
         sys.stdout.flush()
         if 'CYGWIN_NT' in sys_name:
+            import ssl
             ctx = ssl.create_default_context()
             ctx.check_hostname = False
             ctx.verify_mode = ssl.CERT_NONE