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