3 Commits (587a9c27496979d983296944fee8d1fa589e1b85)

Author SHA1 Message Date
Jaime Marquínez Ferrándiz 587a9c2749 [downloader/external] Use the 'http_headers' field 10 years ago
Philipp Hagemeister 384b62028a [downloader/external] Add curl and aria2c (Closes #182) 10 years ago
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.
10 years ago