]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/moogle_querybar.html.src
daemons tamed
[helm.git] / helm / searchEngine / html / moogle_querybar.html.src
diff --git a/helm/searchEngine/html/moogle_querybar.html.src b/helm/searchEngine/html/moogle_querybar.html.src
deleted file mode 100644 (file)
index 7a5110a..0000000
+++ /dev/null
@@ -1,15 +0,0 @@
-<?xml version="1.0"?>
-<helm:content
-  xmlns:helm="http://www.cs.unibo.it/helm"
-  xmlns="http://www.w3.org/1999/xhtml"
->
-  <div class='resultsbar'>
-    <table width='100%%'>
-      <tr>
-       <td class='left'><b class='query_kind'>@QUERY_KIND@</b></td>
-       <td class='right'>@QUERY_SUMMARY@</td>
-      </tr>
-    </table>
-  </div>
-  <br />
-</helm:content>