diff --git a/contrib/make_download b/contrib/make_download index 0839ea80b..ee315866a 100755 --- a/contrib/make_download +++ b/contrib/make_download @@ -41,7 +41,7 @@ for k, n in files.items(): string = re.sub("