mirror of
https://github.com/ryanoasis/nerd-fonts.git
synced 2025-01-19 03:12:07 +02:00
1b7711564a
[why] PR #1252 and this ran slightly out of sync. Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>