diff options
author | Junio C Hamano <gitster@pobox.com> | 2013-04-21 19:27:13 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2013-04-21 19:27:13 -0700 |
commit | e3f080d1c1d091db97eb840de39a5245a3c82f3e (patch) | |
tree | 2d5821021b314217f92f1826b1c4100e809c8f82 /git-patch-id.html | |
parent | 7692782cd994796eb7bd0bed592669c5090289bb (diff) | |
download | git-htmldocs-e3f080d1c1d091db97eb840de39a5245a3c82f3e.tar.gz |
Autogenerated HTML docs for v1.8.2.1-538-gad776
Diffstat (limited to 'git-patch-id.html')
-rw-r--r-- | git-patch-id.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/git-patch-id.html b/git-patch-id.html index ed9b6fa87..28bf53169 100644 --- a/git-patch-id.html +++ b/git-patch-id.html @@ -754,7 +754,7 @@ git-patch-id(1) Manual Page <div class="sect1">
<h2 id="_description">DESCRIPTION</h2>
<div class="sectionbody">
-<div class="paragraph"><p>A "patch ID" is nothing but a SHA1 of the diff associated with a patch, with
+<div class="paragraph"><p>A "patch ID" is nothing but a SHA-1 of the diff associated with a patch, with
whitespace and line numbers ignored. As such, it’s "reasonably stable", but at
the same time also reasonably unique, i.e., two patches that have the same "patch
ID" are almost guaranteed to be the same thing.</p></div>
@@ -791,7 +791,7 @@ This can be used to make a mapping from patch ID to commit ID.</p></div> <div id="footnotes"><hr /></div>
<div id="footer">
<div id="footer-text">
-Last updated 2011-11-15 13:45:02 PST
+Last updated 2013-04-21 19:25:38 PDT
</div>
</div>
</body>
|