worldofpeace 4d1f8e9bf0 Merge pull request #63770 from romildo/upd.matcha-gtk-theme ... matcha: 2019_05_09 -> 2019-06-22		2019-06-27 18:11:55 -04:00
..
documentation	…
fonts	amiri: init at 0.111	2019-06-27 08:03:06 +00:00
icons	papirus-icon-theme: add maintainer	2019-06-11 15:56:42 -03:00
machine-learning/mnist	…
misc	all-cabal-hashes: update to Hackage at 2019-06-14T00:22:02Z	2019-06-14 13:06:35 +00:00
sgml+xml	…
soundfonts/fluid	…
themes	matcha: 2019_05_09 -> 2019-06-22	2019-06-25 08:55:54 -03:00