Von Random ab4df79d9b ghostty: try default font size, alt+t for new tab too		2025-01-01 14:48:53 +02:00
..
config	ghostty: try default font size, alt+t for new tab too	2025-01-01 14:48:53 +02:00