<div class="index">
<ul>
<li><a href="tools/gitupdate.pl?stable">Check-out the stable branch without config files</a>
-<li><a href="tools/gitupdate.pl?stable-config">Check-out the stable branch with config files</a>
-<!--<li><a href="tools/gitupdate.pl?devel">Check-out the devel branch without config files</a>
-<li><a href="tools/gitupdate.pl?devel-config">Check-out the devel branch with config files</a>-->
+<li>Check-out the stable branch including config files: add -config to URL
</div>
</body>