xeji 86c7e6499b Merge pull request #93914 from romildo/upd.theme-obsidian2 ... theme-obsidian2: 2.12 -> 2.13		2020-07-30 23:10:19 +02:00
..
documentation	zeal: 0.6.1 -> 0.6.999	2020-07-01 16:20:43 +08:00
fonts	Merge pull request #94144 from dtzWill/update/spleen-1.8.1	2020-07-30 23:07:06 +02:00
icons	treewide: replace inkscape with inkscape_0	2020-07-19 13:10:16 +02:00
machine-learning/mnist
misc	all-cabal-hashes: update to Hackage at 2020-07-24T00:16:27Z	2020-07-24 21:38:22 +02:00
sgml+xml
soundfonts/fluid
themes	Merge pull request #93914 from romildo/upd.theme-obsidian2	2020-07-30 23:10:19 +02:00