Font name of the font used in the banner

ToxicFrog / Ligaturizer

Programming Fonts with Ligatures added (& a script to add them to other fonts)

GNU General Public License v3.0

2.19k stars 112 forks source link

Font name of the font used in the banner #27

Closed kabouzeid closed 6 years ago

kabouzeid commented 6 years ago

Which font is used in the banner?

ToxicFrog commented 6 years ago

That was added in 094e29fd877e7ae4002ec97595fed87a6986df90, which was before I started contributing to the project -- @rojiani , what font did you use there?

rojiani commented 6 years ago

It's the ligaturized version of Deja Vu Sans Mono.