Joachim F 859f00a6c2 Merge pull request #23145 from romildo/upd.paper-icon-theme ... paper-icon-theme: 2016-11-05 -> 2017-02-13		2017-02-24 18:50:36 +01:00
..
documentation	man-pages: 4.08 -> 4.09	2017-01-12 19:16:54 +01:00
fonts	stix-two: init at 2.0.0	2017-02-20 23:55:55 +01:00
icons	Merge pull request #23145 from romildo/upd.paper-icon-theme	2017-02-24 18:50:36 +01:00
misc	hackage: update snapshot to 2017-02-12T15:49:03Z	2017-02-16 11:48:10 +01:00
sgml+xml
soundfonts/fluid