Renaud c7fdfc4128 Merge pull request #72581 from romildo/upd.theme-jade1 ...

theme-jade1: 3.3 -> 1.5

2019-11-03 10:25:11 +01:00

..

documentation

man-pages: 5.02 -> 5.03

2019-10-23 15:55:22 +02:00

fonts

babelstone-han: 12.1.4 -> 12.1.7

2019-11-01 19:57:19 -07:00

icons

Merge pull request #72593 from romildo/upd.papirus-icon-theme

2019-11-02 22:56:45 +01:00

machine-learning/mnist

treewide: name -> pname (#67513)

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

misc

all-cabal-hashes: update to Hackage at 2019-11-01T17:31:41Z

2019-11-01 21:34:11 +01:00

sgml+xml

docbook5: 5.0 -> 5.0.1

2019-07-20 12:39:16 +02:00

soundfonts/fluid

…

themes

Merge pull request #72581 from romildo/upd.theme-jade1

2019-11-03 10:25:11 +01:00