]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/blank.html
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / searchEngine / html / blank.html
diff --git a/helm/searchEngine/html/blank.html b/helm/searchEngine/html/blank.html
deleted file mode 100644 (file)
index 3334d0b..0000000
+++ /dev/null
@@ -1,4 +0,0 @@
-<HTML>
-<body bgcolor="#ffffff";>
-</body>
-</HTML>