mirror of
https://github.com/ryanoasis/nerd-fonts.git
synced 2025-01-31 12:27:22 +02:00
af96dbaf28
After all the renames. Keep the webfont filename the same as before because ppl might use it directly. Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>