diff options
author | Junio C Hamano <gitster@pobox.com> | 2016-07-13 15:00:05 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2016-07-13 15:00:05 -0700 |
commit | 92d80370646a0ce43b0c769027492b3c891090aa (patch) | |
tree | cee7315334fee3145cb4badcc7a400e3e763fbac /gitk.html | |
parent | 48931e26012d8d7ad1a7e1d9701f52be1b77e45a (diff) | |
download | git-htmldocs-92d80370646a0ce43b0c769027492b3c891090aa.tar.gz |
Autogenerated HTML docs for v2.9.1-273-g79ed4
Diffstat (limited to 'gitk.html')
-rw-r--r-- | gitk.html | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -863,7 +863,7 @@ command-line parser.</p></div> </dt>
<dd>
<p>
- Additional option to <em>--full-history</em> to remove some needless
+ Additional option to <code>--full-history</code> to remove some needless
merges from the resulting history, as there are no selected
commits contributing to this merge. (See "History
simplification" in <a href="git-log.html">git-log(1)</a> for a more detailed
@@ -1098,7 +1098,7 @@ into the main Git repository.</p></div> <div id="footnotes"><hr /></div>
<div id="footer">
<div id="footer-text">
-Last updated 2015-05-06 12:32:59 PDT
+Last updated 2016-07-13 14:58:50 PDT
</div>
</div>
</body>
|