Skip to content

increase default font size (#105)#492

Merged
doerfli merged 3 commits intomainfrom feature/fontsizeJul 8, 2024