sophia 7e125969dd Add option box_download_options
Allow users to specify a map of extra options to pass to the downloader.
These options will be passed to curl, with a `--` appended to the key
2020-04-29 15:10:44 -04:00
..
2018-03-14 14:41:04 +00:00
2020-04-29 15:10:44 -04:00
2020-02-07 16:15:28 -08:00