revert wrongly renamed url

faroit · Jun 3, 2016 · 7eae8b5 · 7eae8b5
1 parent 74e6294
commit 7eae8b5
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/data/fetch.sh b/data/fetch.sh
@@ -1,5 +1,5 @@
 #!/bin/sh
 
-curl -OL https://www.loria.fr/~aliutkus/dsdtoolssubset.zip
-unzip dsdtoolssubset.zip
-rm dsdtoolssubset.zip
+curl -OL https://www.loria.fr/~aliutkus/DSD100subset.zip
+unzip DSD100subset.zip
+rm DSD100subset.zip