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