[(pushed)] Remove dead link to Buildbot.
Commit Message
Removed after a discussion with Jan-Benedict. He's currently working
on his testing infrastructure.
Cheers,
Martin
---
htdocs/style.mhtml | 1 -
1 file changed, 1 deletion(-)
@@ -126,7 +126,6 @@
<a href="<get-var BACKPATH>backends.html">Back ends</a><br>
<a href="<get-var BACKPATH>extensions.html">Extensions</a><br>
<a href="<get-var BACKPATH>benchmarks/">Benchmarks</a><br>
- <a href="http://toolchain.lug-owl.de/buildbot/">Buildbot</a><br>
<a href="<get-var BACKPATH>translation.html">Translations</a><br>
</td></tr>
</table></td></tr>