diff options
| author | Junio C Hamano <gitster@pobox.com> | 2013-07-17 19:15:20 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2013-07-17 19:15:20 -0700 |
| commit | 24b683581d6d454d453d86f2e1ab7401dcb8faea (patch) | |
| tree | 77000d948ee7847f26154d1ee114528f875ca296 /git-log.html | |
| parent | ededf2bc5cb41c2aef8b3c7e89d5c1ceb068ac1a (diff) | |
| download | git-htmldocs-24b683581d6d454d453d86f2e1ab7401dcb8faea.tar.gz | |
Autogenerated HTML docs for v1.8.3.3-755-g001b0
Diffstat (limited to 'git-log.html')
| -rw-r--r-- | git-log.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/git-log.html b/git-log.html index ae03ab3c1..841d18bf2 100644 --- a/git-log.html +++ b/git-log.html @@ -3747,7 +3747,7 @@ two unresolved merge parents with the working tree file </p>
</dd>
<dt class="hdlist1">
-git log -L <em>/int main/</em>,/^}/:main.c
+<code>git log -L '/int main/',/^}/:main.c</code>
</dt>
<dd>
<p>
@@ -3927,7 +3927,7 @@ and overridden by the <code>--notes=<ref></code> option.</p></div> <div id="footnotes"><hr /></div>
<div id="footer">
<div id="footer-text">
-Last updated 2013-06-26 16:20:17 PDT
+Last updated 2013-07-17 19:14:54 PDT
</div>
</div>
</body>
|