From d33fae455d4971633ce0ae8a2d1cf29b4087d771 Mon Sep 17 00:00:00 2001 From: Florian Bruhin Date: Fri, 15 Apr 2016 19:31:54 +0200 Subject: [PATCH] Remove unused import --- scripts/dev/update_3rdparty.py | 1 - 1 file changed, 1 deletion(-) diff --git a/scripts/dev/update_3rdparty.py b/scripts/dev/update_3rdparty.py index 5895bd177..3d79328b5 100755 --- a/scripts/dev/update_3rdparty.py +++ b/scripts/dev/update_3rdparty.py @@ -26,7 +26,6 @@ import urllib.error import shutil import json import os -import sys def get_latest_pdfjs_url():