diff options
Diffstat (limited to 'devscripts/gh-pages')
| -rwxr-xr-x | devscripts/gh-pages/generate-download.py | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/devscripts/gh-pages/generate-download.py b/devscripts/gh-pages/generate-download.py index 55912e12c..e90c787fd 100755 --- a/devscripts/gh-pages/generate-download.py +++ b/devscripts/gh-pages/generate-download.py @@ -1,8 +1,5 @@ #!/usr/bin/env python3 import hashlib -import shutil -import subprocess -import tempfile import urllib.request import json |