diff options
| -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=' ' |