Skip to content
Snippets Groups Projects
Commit e24f893e authored by bendisposto's avatar bendisposto
Browse files

Update index.html

parent 9aa5aabc
No related branches found
No related tags found
No related merge requests found
...@@ -55,7 +55,6 @@ ...@@ -55,7 +55,6 @@
</head> </head>
<body onload="init();"> <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> <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> <h1 class="title">Installing the ProB plug-ins</h1>
<p class="bodyText"> <p class="bodyText">
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment