Fix gitweb link.
authorAndre Noll <maan@tuebingen.mpg.de>
Tue, 19 Apr 2016 12:59:08 +0000 (14:59 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Tue, 19 Apr 2016 12:59:08 +0000 (14:59 +0200)
commit0b3507967aafad1165cc994b86cca37e23600bbb
treeebbe1ef20a5e0e7f53d1f68fb2fe5e161aa8eb66
parent8532469a26969f2945b06cd7b6ee7fadf2cf6830
Fix gitweb link.

Although on the gitweb server there is a link adu -> adu.git, the
link on the main page does not work without the .git suffix. This
used to work at some point...
index.html.in