mirror of
https://github.com/kovidgoyal/kitty.git
synced 2026-07-03 19:19:28 +08:00
This is not really needed as the terminal emulator should be de duplicating directory entries anyway but no harm in defense in depth.
This is not really needed as the terminal emulator should be de duplicating directory entries anyway but no harm in defense in depth.