|
documentation
|
stdman: 2017.04.02 -> 2018.03.11
|
2018-03-30 19:57:10 +01:00 |
|
fonts
|
nerdfonts: 1.1.0 -> 2.0.0
|
2018-04-06 15:54:34 +02:00 |
|
icons
|
treewide: get rid of platforms.allBut
|
2018-03-14 18:44:42 -04:00 |
|
misc
|
hackage: update db snapshot
|
2018-03-29 20:46:32 +02:00 |
|
sgml+xml
|
treewide: use more HTTPS URLs
|
2018-03-24 22:04:25 -07:00 |
