|
documentation
|
stdman: 2017.04.02 -> 2018.03.11
|
2018-03-30 19:57:10 +01:00 |
|
fonts
|
Merge pull request #38418 from jbaum98/scheherazade
|
2018-04-08 21:34:00 -05:00 |
|
icons
|
treewide: get rid of platforms.allBut
|
2018-03-14 18:44:42 -04:00 |
|
misc
|
hackage-db: update snapshot
|
2018-04-11 11:25:30 +02:00 |
|
sgml+xml
|
treewide: use more HTTPS URLs
|
2018-03-24 22:04:25 -07:00 |
