]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/paginacollink.html
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / searchEngine / html / paginacollink.html
diff --git a/helm/searchEngine/html/paginacollink.html b/helm/searchEngine/html/paginacollink.html
deleted file mode 100644 (file)
index 83f41bc..0000000
+++ /dev/null
@@ -1,13 +0,0 @@
-<HTML>
-<HEAD>
-<SCRIPT language="Javascript">
-function apriquery()
-       {
-       window.open(top.topurl+"/getpage?url=index.html","new",hotkeys="no");
-       }
-</SCRIPT>
-</HEAD>
-<BODY>
-<a href="#" onClick="apriquery();">Query composer</a>
-</BODY>
-</HTML>