chore: house-keeping

This commit is contained in:
Marco Thomas
2023-10-06 15:30:50 +02:00
parent 5e7dc7ae25
commit d90fe0dd61
3 changed files with 10 additions and 18 deletions

View File

@@ -3,7 +3,7 @@ env:
font:
normal:
family: SFMono Nerd Font
family: JetBrainsMono Nerd Font Mono
style: Regular
size: 11.0