15 Oct
2020
15 Oct
'20
7:14 p.m.
I made a small fix to expr's help file https://github.com/pure-data/pure-data/pull/1184
Em qui., 15 de out. de 2020 às 12:57, Alexandre Torres Porres < porres@gmail.com> escreveu:
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