]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/blank.html
projects / helm.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
Added an hyperlink to the on-line manual.
[helm.git] / helm / searchEngine / html / blank.html
diff --git a/helm/searchEngine/html/blank.html b/helm/searchEngine/html/blank.html
index 903e3169b76b0b040d8c2e9fc3b1c93e0306daba..3334d0b61f029f6e529912edba56f7771a46ca1c 100644 (file)
--- a/helm/searchEngine/html/blank.html
+++ b/helm/searchEngine/html/blank.html
@@ -1,4 +1,4 @@
 <HTML>
 <body bgcolor="#ffffff";>
 </body>
-</HTML>
\ No newline at end of file
+</HTML>
Unnamed repository; edit this file 'description' to name the repository.