diff options
author | 2011-08-27 12:31:50 -0400 | |
---|---|---|
committer | 2011-08-27 12:31:50 -0400 | |
commit | 6e750764b7d30d9cb0684cdaadd79ec091a4fda6 (patch) | |
tree | adcc1c2dac4c1b5ad7a941546250e0931a45c5fc /Version.hs | |
parent | f82da1d9dca0712cdd87e3fc0ed8a2c2e2440228 (diff) |
The wget command will now be used in preference to curl, if available.
Got tired of curl's various ugly progress bars.
Diffstat (limited to 'Version.hs')
0 files changed, 0 insertions, 0 deletions