Closed Finii closed 1 month ago
Closing because transferred to #1095
"Inter" is a Reserved Font Name by Rasmus Andersson
We would need to rename the font. Any suggestion @mainrs ?
Edit:
Maybe Intra
:smile_cat:
I thought about InterNerd
, as a play of words (inter-
being a prefix for between or among). Intra
is nice too! :D
Discussed in https://github.com/ryanoasis/nerd-fonts/discussions/770