From 7813f1775776be928c9951cd877243d0e7480bea Mon Sep 17 00:00:00 2001
From: Sebastian Wolff <s.wolff@cs.uni-kl.de>
Date: Wed, 16 Oct 2019 11:21:06 +0200
Subject: [PATCH] resolved todo

---
 docs/index.html | 12 ------------
 1 file changed, 12 deletions(-)

diff --git a/docs/index.html b/docs/index.html
index a5fac94..e081d6e 100755
--- a/docs/index.html
+++ b/docs/index.html
@@ -87,18 +87,6 @@ <h1 class="display-4 text-muted text-right mt-3 float-right logos">
 		</div>
 	</header>
 
-	<!-- TODOs begin -->
-	<div class="container clearfix">
-		<div class="alert alert-danger container">
-			<strong>TODOs</strong>
-			<p class="mt-2">
-				Link to VM; test VM old-types benchmark.py
-			</p>
-		</div>
-		<br>
-	</div>
-	<!-- TODOs end -->
-
 	<div class="container clearfix">
 		<!-- ********************************************************************************** -->
 		<!-- ************************************** PAPER ************************************* -->