Touch new default font size settings: simplified + codestyle + updated changelog
Description
Description
Details
Details
- Provenance
Thomas Bruederli Authored on Sep 16 2013, 6:01 PM mollekopf Pushed on Aug 21 2023, 3:06 PM - Parents
- R3:0201298cd8f7: Merge pull request #118 from Dennis1993/patch-12
- Branches
- Unknown
- Tags