summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2012-08-20 00:02:11 (GMT)
committerJunio C Hamano <gitster@pobox.com>2012-08-20 00:02:11 (GMT)
commit889d35899ba64640e47798681ecb34a4be043bad (patch)
treec2344a25e9848b35f22f05c568719a2b2011246b
parent91e4bfe96f1e72a3ce743fe032bfadfc9509fc2a (diff)
downloadgit-889d35899ba64640e47798681ecb34a4be043bad.zip
git-889d35899ba64640e47798681ecb34a4be043bad.tar.gz
git-889d35899ba64640e47798681ecb34a4be043bad.tar.bz2
Git 1.7.12v1.7.12
Signed-off-by: Junio C Hamano <gitster@pobox.com>
-rw-r--r--Documentation/git.txt5
-rwxr-xr-xGIT-VERSION-GEN2
2 files changed, 6 insertions, 1 deletions
diff --git a/Documentation/git.txt b/Documentation/git.txt
index eb6b2c0..27da0eb 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 d7ad644..b27a2ff 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='
'