| commit | 3204fc006520c0e032f29f2f30f7fb4e53e8a9bf | [log] [tgz] |
|---|---|---|
| author | Morten Krogh-Jespersen <mkroghj@google.com> | Wed Feb 16 11:46:08 2022 +0100 |
| committer | Morten Krogh-Jespersen <mkroghj@google.com> | Wed Feb 16 11:46:08 2022 +0100 |
| tree | 96d95f9df4b6994386f0aa069f3bf6118365dd48 | |
| parent | 5b55736c0763450beb31956d2477ac0e9715b3bc [diff] [blame] |
Fix download_kotlin_dev.py script Change-Id: I3ec3841f36d753b3b4df4dd0a3c9c3bfe40624f3
diff --git a/tools/download_kotlin_dev.py b/tools/download_kotlin_dev.py index b6ae8ee..6360cd2 100755 --- a/tools/download_kotlin_dev.py +++ b/tools/download_kotlin_dev.py
@@ -11,7 +11,7 @@ else: from HTMLParser import HTMLParser import urllib - url_request = urllib.request + url_request = urllib import os import sys