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...

diff --git a/index.html.in b/index.html.in
index c0857d83e79f09b22399b9c553be0bf39aeb331d..ee7bcadc3c1d2f4ce702a2d44603b7b162f5c6ff 100644 (file)
--- a/index.html.in
+++ b/index.html.in
@@ -68,7 +68,7 @@
        the latest release, select the corresponding <em>snapshot</em>
        link on the
 
-               <a href="http://git.tuebingen.mpg.de/adu">adu gitweb page</a>
+               <a href="http://git.tuebingen.mpg.de/adu.git">adu gitweb page</a>
 
        </p>