diff options
| author | Junio C Hamano <gitster@pobox.com> | 2012-08-20 04:02:11 +0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2012-08-20 04:02:11 +0400 |
| commit | 889d35899ba64640e47798681ecb34a4be043bad (patch) | |
| tree | c2344a25e9848b35f22f05c568719a2b2011246b | |
| parent | 91e4bfe96f1e72a3ce743fe032bfadfc9509fc2a (diff) | |
Git 1.7.12v1.7.12
Signed-off-by: Junio C Hamano <gitster@pobox.com>
| -rw-r--r-- | Documentation/git.txt | 5 | ||||
| -rwxr-xr-x | GIT-VERSION-GEN | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/Documentation/git.txt b/Documentation/git.txt index eb6b2c0117..27da0eb209 100644 --- a/Documentation/git.txt +++ b/Documentation/git.txt @@ -44,6 +44,11 @@ unreleased) version of git, that is available from 'master' branch of the `git.git` repository. Documentation for older releases are available here: +* link:v1.7.12/git.html[documentation for release 1.7.12] + +* release notes for + link:RelNotes/1.7.12.txt[1.7.12]. + * link:v1.7.11.5/git.html[documentation for release 1.7.11.5] * release notes for diff --git a/GIT-VERSION-GEN b/GIT-VERSION-GEN index d7ad6444db..b27a2ff687 100755 --- a/GIT-VERSION-GEN +++ b/GIT-VERSION-GEN @@ -1,7 +1,7 @@ #!/bin/sh GVF=GIT-VERSION-FILE -DEF_VER=v1.7.12-rc3 +DEF_VER=v1.7.12 LF=' ' |