19 Sep
2017
19 Sep
'17
14:58
On 09/18/2017 08:43 AM, Carlos E. R. wrote:
Thanks, wonderful :-)
[...]
Huh! It is already installed. Then, contrary to the "news" I read, it is not new.
From my comparison, it is just a slightly lighter variant of DejaVu Sans Mono. Not a bad font. I could see using it depending on the LCD and freetype hinting available. -- David C. Rankin, J.D.,P.E.