- renamed ocaml/ to components/

[helm.git] / helm / matita / scripts / public_html / index.html
diff --git a/helm/matita/scripts/public_html/index.html b/helm/matita/scripts/public_html/index.html

deleted file mode 100644 (file)

index 12fd7be..0000000
--- a/helm/matita/scripts/public_html/index.html
+++ /dev/null
@@ -1,15 +0,0 @@
-<?php require("common.php"); ?>
-
-<html>
-  <head>
-  <link type="text/css" rel="stylesheet" href="style.css"/>
-  </head>
-  <body>
-    <h1>MATITA BENCHMARKING SYSTEM</h1>
-    <p> 
-    <center> <!-- Yes, It sucks! :P -->
-      <a href="bench.php">Go to the benchmark query page</a>
-    </center>
-    </p>
-  </body>
-</html>