1
0
mirror of https://github.com/BurntSushi/ripgrep.git synced 2025-05-24 13:41:33 +02:00
Andrew Gallant 5370064f00 warnings: remove/tweak some dead code
It looks like the dead code detector got better, so do a little code
cleanup.
2022-03-21 08:59:05 -04:00
..
2021-06-12 08:01:22 -04:00
2021-06-12 08:08:32 -04:00
2021-06-12 08:06:29 -04:00
2021-06-12 08:07:46 -04:00