Thomas Veerman 3f40eb3511 fetch.sh: serve tarballs ourselves ...

And use the original sources as backup.

2012-06-25 10:46:31 +00:00

..

fetch.sh

fetch.sh: serve tarballs ourselves

2012-06-25 10:46:31 +00:00