mirror of
https://github.com/kovidgoyal/kitty
synced 2026-07-06 08:01:58 +02:00
See https://gitlab.gnome.org/GNOME/mutter/-/issues/2739 Also rename kitty.desktop to kitty-terminal.desktop as otherwise xdg-menu-install complains about no vendor prefix.
4.4 KiB
4.4 KiB