Fini Jastrow fec587385a Update mononoki to 1.5 ... Mononoki is now a RFN; but under conditions mentioned in [1] we can use that name for the patched font. [1] https://github.com/ryanoasis/nerd-fonts/issues/575#issuecomment-1385308049 Fixes: #575 Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>		2023-01-17 13:28:27 +01:00
..
scripts	Update mononoki to 1.5	2023-01-17 13:28:27 +01:00