]> git.tuebingen.mpg.de Git - paraslash.git/commitdiff
web: Fix internal link to manual.
authorAndre Noll <maan@tuebingen.mpg.de>
Thu, 4 Nov 2021 20:14:57 +0000 (21:14 +0100)
committerAndre 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...


No differences found