[(pushed)] Remove dead link to Buildbot.

Message ID 33d3376e-0ecd-6fd1-c0be-e4aaf63e7b9a@suse.cz
State New
Headers
Series [(pushed)] Remove dead link to Buildbot. |

Commit Message

Martin Liška Oct. 20, 2022, 4:07 p.m. UTC
  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(-)
  

Patch

diff --git a/htdocs/style.mhtml b/htdocs/style.mhtml
index 0790a972..08def35e 100644
--- a/htdocs/style.mhtml
+++ b/htdocs/style.mhtml
@@ -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>