Fini Jastrow de06ddfcbc Rebuilds patched fonts ... [why] We do not want to rebuild all fonts, just the affected ones. Without a proper release timestamp this is impossible (i.e. harder) to do via CI, so do it manually 😬 [how] ./gotta-patch-em-all-font-patcher\!.sh /JetBrainsMono/Ligatures/ExtraLight ./gotta-patch-em-all-font-patcher\!.sh /JetBrainsMono/Ligatures/Light Hmm, the patched fonts got slightly smaller. These font file sizes are a mystery for me. Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>		2022-10-12 08:49:44 +02:00
..
Ligatures	Rebuilds patched fonts	2022-10-12 08:49:44 +02:00
NoLigatures	[ci] Rebuilds patched fonts	2022-10-10 16:49:55 +00:00
font-info.md	Rebuilds patched fonts	2022-07-26 16:33:13 +00:00