Comment by andrepd
8 years ago
Previous discussion: https://news.ycombinator.com/item?id=10140728
Tl;dr: the monospsce font seems to be (have been) an almost direct copy of DejaVu Mono. I don't know how much has changed over the last 2 years.
8 years ago
Previous discussion: https://news.ycombinator.com/item?id=10140728
Tl;dr: the monospsce font seems to be (have been) an almost direct copy of DejaVu Mono. I don't know how much has changed over the last 2 years.