Andrew Gallant 241bc8f8fc ripgrep: add --pre-glob flag ... The --pre-glob flag is like the --glob flag, except it applies to filtering files through the preprocessor instead of for search. This makes it possible to apply the preprocessor to only a small subset of files, which can greatly reduce the process overhead of using a preprocessor when searching large directories.		2018-09-04 23:18:55 -04:00
..
_rg	ripgrep: add --pre-glob flag	2018-09-04 23:18:55 -04:00