José Romildo Malaquias a835adc10c Merge pull request #64186 from tadfisher/plata-theme ...

plata-theme: 0.8.3 -> 0.8.7

2019-07-20 23:44:17 -03:00

..

documentation

gnome3.gnome-user-docs: Add meta attributes

2019-06-27 00:06:34 +02:00

fonts

victor-mono: improvements from previous PR

2019-07-18 18:46:40 -04:00

icons

papirus-icon-theme: 20190521 -> 20190615

2019-07-01 22:47:51 -07:00

machine-learning/mnist

mnist: init at 2018-11-16

2018-12-03 14:20:55 +11:00

misc

Merge master into staging-next

2019-07-09 15:46:00 +02:00

sgml+xml

treewide: use dontUnpack

2019-07-01 04:23:51 -04:00

soundfonts/fluid

…

themes

Merge pull request #64186 from tadfisher/plata-theme

2019-07-20 23:44:17 -03:00