Benjamin Staffin a1e340fab2 noto fonts and tools: update to newer tagged releases (#31543) ... * noto fonts and tools: update to newer tagged releases * noto-tools: split out to a separate file		2017-11-22 00:19:48 -05:00
..
documentation	stdman: d860212 -> 2017.04.02	2017-11-16 16:35:29 -08:00
fonts	noto fonts and tools: update to newer tagged releases (#31543)	2017-11-22 00:19:48 -05:00
icons	numix-icon-theme: 2017-17-09 -> 2017-11-18	2017-11-18 10:18:55 -02:00
misc	dns-root-data: use a stable URL that I maintain anyway	2017-11-21 13:58:19 +01:00
sgml+xml	docbook_{xml,xsl}*: propagate findXMLCatalogs	2017-10-07 23:37:29 +02:00
soundfonts/fluid