Jörg Thalheim 4a79d5c304 Merge pull request #43873 from dtzWill/update/google-fonts-2018-07-13 ... google-fonts: 2017-06-28 -> 2018-07-13		2018-07-21 16:07:09 +01:00
..
documentation	man-pagess: set low priority for man-pages package (#41121)	2018-05-28 18:55:32 -04:00
fonts	Merge pull request #43873 from dtzWill/update/google-fonts-2018-07-13	2018-07-21 16:07:09 +01:00
icons	paper-icon-theme: 2017-11-20 -> 2018-06-24 (#43419)	2018-07-13 02:04:19 +02:00
misc	Merge branch 'master' into unused5	2018-07-21 15:41:22 +01:00
sgml+xml	pkgs/*: remove unreferenced function arguments	2018-07-21 02:48:04 +00:00
soundfonts/fluid