José Romildo Malaquias b2b64e4a44 Merge pull request #99311 from romildo/upd.flat-remix-icon-theme ... flat-remix-icon-theme: 20200116 -> 20200710		2020-10-07 18:50:30 -03:00
..
documentation	man-pages: Make it findable by manpages	2020-09-29 02:08:16 +02:00
fonts	monoid: 2016-07-21 -> 2018-06-03	2020-10-04 16:10:17 +02:00
icons	Merge pull request #99311 from romildo/upd.flat-remix-icon-theme	2020-10-07 18:50:30 -03:00
machine-learning/mnist
misc	all-cabal-hashes: update to Hackage at 2020-10-01T23:28:17Z	2020-10-02 21:07:31 +02:00
sgml+xml
soundfonts/fluid
themes	Merge pull request #99307 from romildo/upd.theme-obsidian2	2020-10-05 09:51:56 -03:00