Adrien Destugues 6bb664abb5 Switch cacerts source back to curl now that they provide https ...

Fixes #1128

2017-02-05 10:46:54 +01:00

..

be_book

De-lint recipes.

2015-08-08 08:16:04 +02:00

ca_root_certificates

Switch cacerts source back to curl now that they provide https

2017-02-05 10:46:54 +01:00

timgmsoundfont

use file:// as prefix for local files.

2016-07-10 19:51:57 +02:00