mirror of
https://github.com/BurntSushi/ripgrep.git
synced 2025-01-13 21:28:13 +02:00
925d0db9f0
This flag overrides both --smart-case and --ignore-case. Closes #124.