diff options
author | Junio C Hamano <gitster@pobox.com> | 2013-06-11 15:23:52 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2013-06-11 15:23:52 -0700 |
commit | f1f5a7b64053a592c7655df84079443328582b68 (patch) | |
tree | 9f7d07ba52ea6281993ea65e4805aeb31d2f080b /gitrevisions.html | |
parent | 8d74cd3acd56a5e53475ddc934fdf2e135a634e8 (diff) | |
download | git-htmldocs-f1f5a7b64053a592c7655df84079443328582b68.tar.gz |
Autogenerated HTML docs for v1.8.3.1-377-g4d1c5
Diffstat (limited to 'gitrevisions.html')
-rw-r--r-- | gitrevisions.html | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gitrevisions.html b/gitrevisions.html index 87cb7e837..bf99c7ced 100644 --- a/gitrevisions.html +++ b/gitrevisions.html @@ -855,6 +855,14 @@ some output processing may assume ref names in UTF-8.</p></div> </ol></div>
</dd>
<dt class="hdlist1">
+<em>@</em>
+</dt>
+<dd>
+<p>
+ <em>@</em> alone is a shortcut for <em>HEAD</em>.
+</p>
+</dd>
+<dt class="hdlist1">
<em><refname>@{<date>}</em>, e.g. <em>master@{yesterday}</em>, <em>HEAD@{5 minutes ago}</em>
</dt>
<dd>
|