diff --git a/index.html b/index.html index 610de7a23affea84880d6f0f405b2962a5dc9a02..e235e5d80695865ffd163073d8884fbf9040913b 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">