mirror of
https://github.com/kovidgoyal/kitty.git
synced 2026-06-10 15:37:31 +02:00
8996aa798c
This is not really needed as the terminal emulator should be de duplicating directory entries anyway but no harm in defense in depth.