diff options
| author | Junio C Hamano <gitster@pobox.com> | 2016-06-27 11:05:05 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2016-06-27 11:05:05 -0700 |
| commit | 042f2148898f2f73342c586887b252715dd8af8a (patch) | |
| tree | 186d91f728919ef22f36d69ad4f555e3cb5277ff /git-grep.html | |
| parent | fedb1b428f68e8626c38f0aef57a8379e58f3241 (diff) | |
| download | git-htmldocs-042f2148898f2f73342c586887b252715dd8af8a.tar.gz | |
Autogenerated HTML docs for v2.9.0-137-gcf4c2
Diffstat (limited to 'git-grep.html')
| -rw-r--r-- | git-grep.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/git-grep.html b/git-grep.html index 4f99dd8c4..2792fe65b 100644 --- a/git-grep.html +++ b/git-grep.html @@ -809,7 +809,7 @@ grep.extendedRegexp <dd>
<p>
If set to true, enable <em>--extended-regexp</em> option by default. This
- option is ignored when the <em>grep.patternType</em> option is set to a value
+ option is ignored when the <code>grep.patternType</code> option is set to a value
other than <em>default</em>.
</p>
</dd>
@@ -1366,7 +1366,7 @@ grep.fallbackToNoIndex <div id="footnotes"><hr /></div>
<div id="footer">
<div id="footer-text">
-Last updated 2016-01-20 15:22:32 PST
+Last updated 2016-06-27 11:04:05 PDT
</div>
</div>
</body>
|