* Get rid of fetchurl, we don't need it anymore.

This commit is contained in:
Eelco Dolstra 2005-04-07 14:35:44 +00:00
parent 10c429c757
commit 7d876f8fa7
6 changed files with 9 additions and 49 deletions

View file

@ -1,5 +0,0 @@
#! @shell@ -e
echo "downloading $url into $out"
@curl@ --fail --location --max-redirs 20 "$url" > "$out"