Naveen Nathan 297b428c8c cli: add --no-ignore-exclude flag ... This commit adds a new --no-ignore-exclude flag that permits disabling the use of .git/info/exclude filtering. Local exclusions are manual configurations to a repository and are not shared, so it is sometimes useful to disable to get a consistent view of a repository. This also adds a new section to the man page that describes automatic filtering. Closes #1420		2020-02-17 17:16:28 -05:00
..
_rg	cli: add --no-ignore-exclude flag	2020-02-17 17:16:28 -05:00