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.html | |
| parent | a7da1ba8da6521497f33dce9b3d2a46a857172cc (diff) | |
| download | git-htmldocs-4e6ba27c956c6c9b43e7196f210796bd1db478a9.tar.gz | |
Autogenerated HTML docs for v2.7.0-75-g3ee1e
Diffstat (limited to 'git-grep.html')
| -rw-r--r-- | git-grep.html | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/git-grep.html b/git-grep.html index 3d8235282..4f99dd8c4 100644 --- a/git-grep.html +++ b/git-grep.html @@ -830,6 +830,15 @@ grep.fullName If set to true, enable <em>--full-name</em> option by default.
</p>
</dd>
+<dt class="hdlist1">
+grep.fallbackToNoIndex
+</dt>
+<dd>
+<p>
+ If set to true, fall back to git grep --no-index if git grep
+ is executed outside of a git repository. Defaults to false.
+</p>
+</dd>
</dl></div>
</div>
</div>
@@ -1357,7 +1366,7 @@ grep.fullName <div id="footnotes"><hr /></div>
<div id="footer">
<div id="footer-text">
-Last updated 2016-01-12 16:19:08 PST
+Last updated 2016-01-20 15:22:32 PST
</div>
</div>
</body>
|