mirror of
https://github.com/BurntSushi/ripgrep.git
synced 2026-05-21 16:35:49 +02:00
f8fb65f7e3
There were apparently a lot of unused things, including lazy_static.