Adrien Destugues c482315f6a Update ca_root_certificates ...

We should remember to do this every 3 months, otherwise, we don't have
up to date certs and web browsers start complaining that they can't find
the matching root certificate for some websites.

2018-07-21 13:34:28 +02:00

..

be_book

be_book: update HOMEPAGE.

2018-05-30 07:01:11 +02:00

ca_root_certificates

Update ca_root_certificates

2018-07-21 13:34:28 +02:00

timgmsoundfont

use file:// as prefix for local files.

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