Michele Guerini Rocco a11516c5b3 Merge pull request #79855 from rnhmjoj/proggyfonts ... proggyfonts: cleanup		2020-02-14 21:48:48 +01:00
..
documentation	man-pages: 5.04 -> 5.05	2020-02-12 22:07:28 +00:00
fonts	Merge pull request #79855 from rnhmjoj/proggyfonts	2020-02-14 21:48:48 +01:00
icons	numix-icon-theme-circle: 19.09.20 -> 19.12.27	2020-02-13 04:11:43 +00:00
machine-learning/mnist	treewide: name -> pname (#67513)	2019-08-31 07:41:22 -04:00
misc	spdx-license-list-data: add platforms	2020-02-11 18:18:18 -05:00
sgml+xml	docbook-xsl: Fix reproducibility when building docs	2020-01-06 11:56:01 +01:00
soundfonts/fluid	pkgs: refactor needless quoting of homepage meta attribute (#27809)	2017-08-01 22:03:30 +02:00
themes	ant-theme: remove pbogdan from maintainers	2020-02-09 09:50:10 +00:00