diff options
| author | Junio C Hamano <gitster@pobox.com> | 2014-06-03 15:15:13 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2014-06-03 15:15:13 -0700 |
| commit | b051caf02ee59e3c9d1da4a61339f667f28754d1 (patch) | |
| tree | 04b2ca42cc953959fa66006e8e750d26da86ea3e /git-grep.html | |
| parent | 26aa6502e39e98238de17444d0d2a26999ea6445 (diff) | |
| download | git-htmldocs-b051caf02ee59e3c9d1da4a61339f667f28754d1.tar.gz | |
Autogenerated HTML docs for v2.0.0-153-g79dcc
Diffstat (limited to 'git-grep.html')
| -rw-r--r-- | git-grep.html | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/git-grep.html b/git-grep.html index 2ab5f7282..980986ede 100644 --- a/git-grep.html +++ b/git-grep.html @@ -814,6 +814,14 @@ grep.extendedRegexp other than <em>default</em>.
</p>
</dd>
+<dt class="hdlist1">
+grep.fullName
+</dt>
+<dd>
+<p>
+ If set to true, enable <em>--full-name</em> option by default.
+</p>
+</dd>
</dl></div>
</div>
</div>
@@ -1329,7 +1337,7 @@ grep.extendedRegexp <div id="footnotes"><hr /></div>
<div id="footer">
<div id="footer-text">
-Last updated 2013-10-23 14:56:14 PDT
+Last updated 2014-06-03 15:14:46 PDT
</div>
</div>
</body>
|