From e24f893e36dc043ce73142d55ed5f159b8f16054 Mon Sep 17 00:00:00 2001 From: bendisposto <jens@bendisposto.de> Date: Fri, 28 Mar 2014 14:18:54 +0100 Subject: [PATCH] Update index.html --- index.html | 1 - 1 file changed, 1 deletion(-) diff --git a/index.html b/index.html index 610de7a2..e235e5d8 100644 --- a/index.html +++ b/index.html @@ -55,7 +55,6 @@ </head> <body onload="init();"> -<!--[insert static HTML here]--> <a href="http://www.stups.uni-duesseldorf.de/"><img src="http://www.stups.uni-duesseldorf.de/hhulogo1.jpg" border="0" align="right"></a> <h1 class="title">Installing the ProB plug-ins</h1> <p class="bodyText"> -- GitLab