mirror of
https://github.com/ryanoasis/nerd-fonts.git
synced 2025-01-25 03:32:02 +02:00
a4e4e8e85b
[why] We have the same file in the repo, once with the ending 'TXT' and once with the ending 'txt'. This raises an issue on case-insensitive file systems. [how] The original in src/unpatched-fonts has the lower case ending. So drop the capital letters one. Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>