José Romildo Malaquias 7e24bfa708 Merge pull request #99307 from romildo/upd.theme-obsidian2 ... theme-obsidian2: 2.14 -> 2.15		2020-10-05 09:51:56 -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	iconpack-jade: 1.23 -> 1.24	2020-10-01 22:01:04 +00: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