diff options
author | Junio C Hamano <gitster@pobox.com> | 2013-04-03 13:31:10 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2013-04-03 13:31:10 -0700 |
commit | a6c69e1da8b9a61b59f7f26a8c24db11fb239e13 (patch) | |
tree | 5ca85b2fd546d00ec199dc4367bf2b5b159be783 /gitrevisions.html | |
parent | cb8686675282d7c33a6fbbe237a5be81eb2f4876 (diff) | |
download | git-htmldocs-a6c69e1da8b9a61b59f7f26a8c24db11fb239e13.tar.gz |
Autogenerated HTML docs for v1.8.2-444-g8d994
Diffstat (limited to 'gitrevisions.html')
-rw-r--r-- | gitrevisions.html | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gitrevisions.html b/gitrevisions.html index ad1c72dfd..b4e277f8f 100644 --- a/gitrevisions.html +++ b/gitrevisions.html @@ -952,6 +952,10 @@ some output processing may assume ref names in UTF-8.</p></div> dereferenced anymore (in which case, barf). <em><rev>^0</em>
is a short-hand for <em><rev>^{commit}</em>.
</p>
+<div class="paragraph"><p><em>rev^{object}</em> can be used to make sure <em>rev</em> names an
+object that exists, without requiring <em>rev</em> to be a tag, and
+without dereferencing <em>rev</em>; because a tag is already an object,
+it does not have to be dereferenced even once to get to an object.</p></div>
</dd>
<dt class="hdlist1">
<em><rev>^{}</em>, e.g. <em>v0.99.8^{}</em>
|