Michele Guerini Rocco d8ec219293 Merge pull request #93051 from samuelgrf/fix/nerdfonts-no-winfonts ... nerdfonts: disable Windows font variants (by default)		2020-07-15 09:22:34 +02:00
..
documentation	zeal: 0.6.1 -> 0.6.999	2020-07-01 16:20:43 +08:00
fonts	Merge pull request #93051 from samuelgrf/fix/nerdfonts-no-winfonts	2020-07-15 09:22:34 +02:00
icons	iconpack-jade: 1.22 -> 1.23	2020-07-12 06:44:39 +00:00
machine-learning/mnist	treewide: Per RFC45, remove all unquoted URLs	2020-04-10 17:54:53 +01:00
misc	cldr-emoji-annotation: 36.12.120200305_0 -> 37.0_13.0_0_1	2020-07-06 04:19:34 +02:00
sgml+xml	treewide: Per RFC45, remove all unquoted URLs	2020-04-10 17:54:53 +01:00
soundfonts/fluid	treewide: Per RFC45, remove all unquoted URLs	2020-04-10 17:54:53 +01:00
themes	Merge pull request #92671 from r-ryantm/auto-update/yaru	2020-07-14 19:16:52 -03:00