Mario Rodas 9bda7f40f9 Merge pull request #200633 from VergeDX/flat-remix-gnome ... flat-remix-gnome: update 20220622 -> 20221107.		2022-11-13 09:32:42 -05:00
..
documentation	Merge pull request #196007 from wegank/fdl11-remove	2022-11-09 22:31:50 +01:00
fonts	mona-sans: init at v1.0	2022-11-11 22:25:08 +01:00
icons	Merge pull request #200066 from h7x4/super-tiny-icons	2022-11-12 20:12:14 +01:00
machine-learning/mnist
misc	Merge pull request #196790 from DeeUnderscore/update/cldr-annotations-42.0	2022-11-13 00:51:26 +01:00
sgml+xml	Merge pull request #166509 from jtojnar/man-opt-nodup	2022-04-10 11:09:12 +01:00
soundfonts	soundfont-generaluser: init at 1.471	2022-03-24 12:49:38 +02:00
themes	flat-remix-gnome: update 20220622 -> 20221107.	2022-11-11 10:46:20 +08:00