]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/templateambigpdq3.html
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / searchEngine / html / templateambigpdq3.html
diff --git a/helm/searchEngine/html/templateambigpdq3.html b/helm/searchEngine/html/templateambigpdq3.html
deleted file mode 100644 (file)
index 297182c..0000000
+++ /dev/null
@@ -1,11 +0,0 @@
-<html>
-   <head>
-      <style> A { text-decoration: none } </style>
-      <SCRIPT>
-         top.templateambigpdq3_init(new Array(@NEW_ALIASES@));
-      </SCRIPT>
-   </head>
-   <body>
-      @RESULTS@
-   </body>
-</html>