mirrors/ripgrep
1
0
Fork 0
mirror of https://github.com/BurntSushi/ripgrep.git synced 2025-08-04 10:08:36 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1
ripgrep/complete
History
Exact
dana c2cb0a4de4 ripgrep: add --glob-case-insensitive 
This flag forces -g/--glob patterns to be treated case-insensitively, as with
--iglob patterns.

Fixes #1293
2019-08-01 17:08:58 -04:00
..
_rg ripgrep: add --glob-case-insensitive 2019-08-01 17:08:58 -04:00