mirror of
https://github.com/BurntSushi/ripgrep.git
synced 2025-01-19 05:49:14 +02:00
4665128f25
Also add a minor clarification for --type-add. Fixes #147