Von Random b2aed20321 ghostty: some hotkeys		2025-01-02 03:18:35 +02:00
..
config	ghostty: some hotkeys	2025-01-02 03:18:35 +02:00