diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-30 17:02:46 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-30 17:02:46 +0000 |
| commit | e5082a353ead04ec735cfd1c9e60e4fda87da922 (patch) | |
| tree | d1ae0690bb4e7a7f8fe1a187b1f532932a4fc768 /paper.tex | |
| parent | 7c7b79cae6302999851230cf1d186ad5153b99a9 (diff) | |
cURL now also available as downloader with -L flag
The main reason I wasn't using cURL as a downloading tool was that I wasn't
familar with how to ask it to follow a re-direct. But I just found out that
its with the `-L' configure time option. So it is now added as a downloader
tool to the pipeline.
Diffstat (limited to 'paper.tex')
0 files changed, 0 insertions, 0 deletions