Oliver Hartmann eae5c634d9 change font size to 10

2023-10-15 13:46:36 +02:00

..

lazy.lua

…

options.lua

change font size to 10

2023-10-15 13:46:36 +02:00