Michele Guerini Rocco 875f474b42 Merge pull request #80261 from rnhmjoj/terminus ...

terminus_font: generate otb and split output

2020-02-17 20:48:06 +01:00

..

documentation

man-pages: 5.04 -> 5.05

2020-02-12 22:07:28 +00:00

fonts

Merge pull request #80261 from rnhmjoj/terminus

2020-02-17 20:48:06 +01:00

icons

numix-icon-theme-circle: 19.09.20 -> 19.12.27

2020-02-13 04:11:43 +00:00

machine-learning/mnist

treewide: name -> pname (#67513)

2019-08-31 07:41:22 -04:00

misc

spdx-license-list-data: add platforms

2020-02-11 18:18:18 -05:00

sgml+xml

docbook-xsl: Fix reproducibility when building docs

2020-01-06 11:56:01 +01:00

soundfonts/fluid

soundfont-fluid: fix src url

2020-02-15 07:00:05 -05:00

themes

Merge pull request #79802 from Elyhaka/pop-gtk-update

2020-02-16 11:31:33 -03:00