53 Commits (80aa24609415af36ac30caa392e85f8c20349535)

Author	SHA1	Message	Date
Jaime Marquínez Ferrándiz	587a9c2749	[downloader/external] Use the 'http_headers' field	2015-01-24 18:25:09 +01:00
Philipp Hagemeister	384b62028a	[downloader/external] Add curl and aria2c (Closes #182)	2015-01-24 13:33:45 +01:00
Philipp Hagemeister	222516d97d	[downloader] Lay groundwork for external downloaders. ... This comes with a very simply implementation for wget; the real work is in setting up the infrastructure.	2015-01-24 01:38:48 +01:00