Weijia Wang ff13d18b9c Merge pull request #308217 from kilianar/orchis-theme-2024-05-01 ... orchis-theme: 2024-04-18 -> 2024-05-01		2024-05-12 20:46:38 +02:00
..
documentation	scheme-manpages: unstable-2024-02-11 -> 0-unstable-2024-02-11	2024-05-05 17:08:51 +02:00
fonts	iosevka: 30.0.0 -> 30.0.1	2024-05-11 19:18:33 +01:00
icons	kora-icon-theme: 1.6.0 -> 1.6.1	2024-05-12 03:41:23 +00:00
machine-learning/mnist
misc	unicode-emoji: 15.0 -> 15.1	2024-05-12 02:09:40 +02:00
sgml+xml	treewide: use optionalString instead of 'then ""'	2023-06-24 20:19:19 +02:00
soundfonts	treewide: fix redirected and broken URLs	2023-11-11 10:49:01 +01:00
themes	Merge pull request #308217 from kilianar/orchis-theme-2024-05-01	2024-05-12 20:46:38 +02:00