odrling ea6b76de5a [kitty] change font size		2023-10-15 22:04:57 +02:00
..
kitty.conf	[kitty] change font size	2023-10-15 22:04:57 +02:00