3 ms·I just checked it out on github - that is indeed a nice font for development.by osrec 9y agoI just checked it out on github - that is indeed a nice font for development.