projects
/
paraslash.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
a3f1f4b
)
web: Fix internal link to manual.
author
Andre Noll
<maan@tuebingen.mpg.de>
Thu, 4 Nov 2021 20:14:57 +0000
(21:14 +0100)
committer
Andre Noll
<maan@tuebingen.mpg.de>
Sat, 6 Nov 2021 19:11:51 +0000
(20:11 +0100)
This must have worked at some point...
Looks like it's no good idea to assume that these identifiers are
stable across markdown versions...
web/download.in.html
patch
|
blob
|
history
diff --git
a/web/download.in.html
b/web/download.in.html
index
9ef92b7
..
b2b1f5f
100644
(file)
--- a/
web/download.in.html
+++ b/
web/download.in.html
@@
-19,7
+19,7
@@
provided at this point. There are several ways to download the source:
checkout of any of the four integration branches maint,
master, next, pu (see the
- <a href="manual.html#Git
.
branches">Git branches</a>
+ <a href="manual.html#Git
-
branches">Git branches</a>
section of the manual). All previous releases
correspond to tagged commits and may be checked out