diff options
author | Junio C Hamano <gitster@pobox.com> | 2016-01-20 15:23:19 -0800 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2016-01-20 15:23:19 -0800 |
commit | 4e6ba27c956c6c9b43e7196f210796bd1db478a9 (patch) | |
tree | ee957d01ddae17e1dcd2579467b90512aa263bb0 /git-grep.txt | |
parent | a7da1ba8da6521497f33dce9b3d2a46a857172cc (diff) | |
download | git-htmldocs-4e6ba27c956c6c9b43e7196f210796bd1db478a9.tar.gz |
Autogenerated HTML docs for v2.7.0-75-g3ee1e
Diffstat (limited to 'git-grep.txt')
-rw-r--r-- | git-grep.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/git-grep.txt b/git-grep.txt index 35aada144..cb0f6cf67 100644 --- a/git-grep.txt +++ b/git-grep.txt @@ -61,6 +61,10 @@ grep.threads:: grep.fullName:: If set to true, enable '--full-name' option by default. +grep.fallbackToNoIndex:: + If set to true, fall back to git grep --no-index if git grep + is executed outside of a git repository. Defaults to false. + OPTIONS ------- |