summaryrefslogtreecommitdiffstats
path: root/git-revert.html
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2016-07-13 15:00:05 -0700
committerJunio C Hamano <gitster@pobox.com>2016-07-13 15:00:05 -0700
commit92d80370646a0ce43b0c769027492b3c891090aa (patch)
treecee7315334fee3145cb4badcc7a400e3e763fbac /git-revert.html
parent48931e26012d8d7ad1a7e1d9701f52be1b77e45a (diff)
downloadgit-htmldocs-92d80370646a0ce43b0c769027492b3c891090aa.tar.gz
Autogenerated HTML docs for v2.9.1-273-g79ed4
Diffstat (limited to 'git-revert.html')
-rw-r--r--git-revert.html6
1 files changed, 3 insertions, 3 deletions
diff --git a/git-revert.html b/git-revert.html
index 350eedf71..2f903cc60 100644
--- a/git-revert.html
+++ b/git-revert.html
@@ -766,7 +766,7 @@ from the HEAD commit).</p></div>
<div class="paragraph"><p>Note: <em>git revert</em> is used to record some new commits to reverse the
effect of some earlier commits (often only a faulty one). If you want to
throw away all uncommitted changes in your working directory, you
-should see <a href="git-reset.html">git-reset(1)</a>, particularly the <em>--hard</em> option. If
+should see <a href="git-reset.html">git-reset(1)</a>, particularly the <code>--hard</code> option. If
you want to extract specific files as they were in another commit, you
should see <a href="git-checkout.html">git-checkout(1)</a>, specifically the <code>git checkout
&lt;commit&gt; -- &lt;filename&gt;</code> syntax. Take care with these alternatives as
@@ -786,7 +786,7 @@ both will discard uncommitted changes in your working directory.</p></div>
For a more complete list of ways to spell commit names, see
<a href="gitrevisions.html">gitrevisions(7)</a>.
Sets of commits can also be given but no traversal is done by
- default, see <a href="git-rev-list.html">git-rev-list(1)</a> and its <em>--no-walk</em>
+ default, see <a href="git-rev-list.html">git-rev-list(1)</a> and its <code>--no-walk</code>
option.
</p>
</dd>
@@ -982,7 +982,7 @@ effect to your index in a row.</p></div>
<div id="footnotes"><hr /></div>
<div id="footer">
<div id="footer-text">
-Last updated 2016-01-20 15:22:32 PST
+Last updated 2016-07-13 14:58:50 PDT
</div>
</div>
</body>