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