about summary refs log tree commit diff
path: root/externals
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2004-04-06T08·18+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2004-04-06T08·18+0000
commit03f1d1ecb5ef69c8c065c83373f9f9f749995c50 (patch)
tree015504d426363cf19aea03589281593cf7f31a20 /externals
parent59b94ee18ac0cba5c7b261ee72550a4d3db0acb5 (diff)
* Switched from wget to curl.
* Made the dependencies on bzip2 and the shell explicit.

Diffstat (limited to 'externals')
0 files changed, 0 insertions, 0 deletions