mirror of
https://github.com/BurntSushi/ripgrep.git
synced 2025-11-23 21:54:45 +02:00
This specifically avoids touching the file system, which can lead to fairly dramatic speed-ups in large repositories with lots of matches. Closes #2865