Peter Simons eb8127a1d2 hackage: update db snapshot

2018-03-25 20:21:45 +02:00

..

documentation

man-pages: 4.14 -> 4.15

2018-02-26 22:22:35 -08:00

fonts

Merge pull request #37752 from ryantm/fix-urls

2018-03-25 00:40:17 -05:00

icons

treewide: get rid of platforms.allBut

2018-03-14 18:44:42 -04:00

misc

hackage: update db snapshot

2018-03-25 20:21:45 +02:00

sgml+xml

treewide: use more HTTPS URLs

2018-03-24 22:04:25 -07:00

soundfonts/fluid

…