Von Random 93f7b1f895 ghostty: fix font name		2025-01-01 12:50:51 +02:00
..
config	ghostty: fix font name	2025-01-01 12:50:51 +02:00