mirror of
https://github.com/BurntSushi/ripgrep.git
synced 2026-05-16 08:24:41 +02:00
0e6e9417f1
The way we do this is a little hokey but I believe it is correct. Fixes #2246