Michele Guerini Rocco 69f3f3eb97 Merge pull request #83418 from romildo/upd.roboto-mono ... roboto-mono: 2016-01-11 -> 2.002-20190125		2020-03-27 09:12:37 +01:00
..
documentation	man-pages: 5.04 -> 5.05	2020-02-12 22:07:28 +00:00
fonts	Merge pull request #83418 from romildo/upd.roboto-mono	2020-03-27 09:12:37 +01:00
icons	Merge pull request #83251 from romildo/upd.iconpack-obsidian	2020-03-25 20:14:19 -03:00
machine-learning/mnist
misc	unicode-character-database: 12.1.0 -> 13.0.0	2020-03-16 11:10:22 +00:00
sgml+xml	docbook-xsl: Fix reproducibility when building docs	2020-01-06 11:56:01 +01:00
soundfonts/fluid	soundfont-fluid: fix src url	2020-02-15 07:00:05 -05:00
themes	Merge pull request #83278 from romildo/upd.matcha-gtk-theme	2020-03-26 01:01:39 -04:00