Will Dietz 8f277d1c10 libertinus: update github owner, libertinus-fonts is now a redirect		2019-05-16 04:55:36 -05:00
..
documentation	man-pages: 5.00 -> 5.01	2019-05-09 23:58:15 -05:00
fonts	libertinus: update github owner, libertinus-fonts is now a redirect	2019-05-16 04:55:36 -05:00
icons	papirus-icon-theme: 20190331 -> 20190501	2019-05-01 17:39:52 -05:00
machine-learning/mnist	mnist: init at 2018-11-16	2018-12-03 14:20:55 +11:00
misc	Merge pull request #61200 from dtzWill/update/osinfo-1.5.0	2019-05-09 20:09:08 -05:00
sgml+xml
soundfonts/fluid
themes	shades-of-gray-theme: 1.1.6 -> 1.1.7	2019-05-10 11:51:53 -03:00