]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/mat_con.html
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / searchEngine / html / mat_con.html
diff --git a/helm/searchEngine/html/mat_con.html b/helm/searchEngine/html/mat_con.html
deleted file mode 100644 (file)
index 5fab873..0000000
+++ /dev/null
@@ -1,10 +0,0 @@
-<HTML>
-<HEAD>
-<SCRIPT language="Javascript">
-parent.mcq="[Alias list] [Expr]";
-parent.aggq();
-</SCRIPT>
-</HEAD>
-<BODY>
-</BODY>
-</HTML>