Restore accidentally deleted commits

That's what happens if you let Windows machines write :(
This commit is contained in:
Philipp Hagemeister 2013-09-21 14:19:30 +02:00
parent b00ca882a4
commit e0df6211cc
4 changed files with 677 additions and 21 deletions

View file

@ -66,6 +66,12 @@ try:
except ImportError: # Python 2
from urllib2 import HTTPError as compat_HTTPError
try:
from urllib.request import urlretrieve as compat_urlretrieve
except ImportError: # Python 2
from urllib import urlretrieve as compat_urlretrieve
try:
from subprocess import DEVNULL
compat_subprocess_get_DEVNULL = lambda: DEVNULL