Use curl instead of wget to fetch remote data
authorMathis Rosenhauer <rosenhauer@dkrz.de>
Tue, 6 Sep 2016 12:00:06 +0000 (14:00 +0200)
committerMathis Rosenhauer <rosenhauer@dkrz.de>
Tue, 6 Sep 2016 12:00:06 +0000 (14:00 +0200)
commit57a9e8395f8a7bf83c3bd793d96effe6c6e7cd6f
treeaa4014e30cf207780a57db032ad4fb9ae670b351
parent9bfaf0cf0944b178acb2e3782eef2622d61e2d77
Use curl instead of wget to fetch remote data
tests/benc.sh
tests/sampledata.sh