Oliver Hartmann eae5c634d9 change font size to 10

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

..

lazy.lua

by default use the releases

2023-06-30 20:42:28 +02:00

options.lua

change font size to 10

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