15 Oct
2020
15 Oct
'20
5:57 p.m.
Em qui., 15 de out. de 2020 às 12:53, Alexandre Torres Porres < porres@gmail.com> escreveu:
the font size in the terminal is smaller
opened an issue on github that shows a screenshot