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 |