web: Fix link to git branches.
authorAndre Noll <maan@tuebingen.mpg.de>
Sun, 25 Dec 2016 21:47:14 +0000 (22:47 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 25 Dec 2016 21:47:14 +0000 (22:47 +0100)
commit0829285d0c0252b2bf3e428760b46c2d0e4dfff2
tree5bcc063e0f1ca13769afaed160ccbd16fb8081bc
parente0e0da08c77df028c261e27f3ab0b6250fbaa3bc
web: Fix link to git branches.

The link broke several months ago in commit a2c5e36 which converted
the manual to markdown.
web/download.in.html