diff options
| author | Junio C Hamano <gitster@pobox.com> | 2012-07-22 14:09:14 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2012-07-22 14:09:14 -0700 |
| commit | bb300643ea913f58d836780e949b1ebcce8da530 (patch) | |
| tree | 2ca413079cc18ed2e7f5ebeb1c08ab7329eb14f8 /git-rev-parse.html | |
| parent | 0248269de7cca134098c35330c96a84a39eca214 (diff) | |
| download | git-htmldocs-bb300643ea913f58d836780e949b1ebcce8da530.tar.gz | |
Autogenerated HTML docs for v1.7.11.3-287-ge7719
Diffstat (limited to 'git-rev-parse.html')
| -rw-r--r-- | git-rev-parse.html | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/git-rev-parse.html b/git-rev-parse.html index 56b02b067..2e70f6461 100644 --- a/git-rev-parse.html +++ b/git-rev-parse.html @@ -759,6 +759,17 @@ distinguish between them.</p></div> </p>
</dd>
<dt class="hdlist1">
+--disambiguate=<prefix>
+</dt>
+<dd>
+<p>
+ Show every object whose name begins with the given prefix.
+ The <prefix> must be at least 4 hexadecimal digits long to
+ avoid listing each and every object in the repository by
+ mistake.
+</p>
+</dd>
+<dt class="hdlist1">
--all
</dt>
<dd>
@@ -1413,7 +1424,7 @@ Same as above: <div id="footnotes"><hr /></div>
<div id="footer">
<div id="footer-text">
-Last updated 2012-05-23 15:00:56 PDT
+Last updated 2012-07-22 14:08:46 PDT
</div>
</div>
</body>
|