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