Closed mgred closed 7 months ago
this is useful, since most tools like grep or rg search case insensitive by default
grep
rg
this is useful, since most tools like
grep
orrg
search case insensitive by default