fix

diff --git a/helm/matita_homepage/matita.html b/helm/matita_homepage/matita.html
index 734266db5e4a9c9b7d5a82c7845c790461ad7e73..fae7d202a7e963ed14ab75c416834737f3f81fe1 100644 (file)
--- a/helm/matita_homepage/matita.html
+++ b/helm/matita_homepage/matita.html
@@ -63,3 +63,5 @@
   </body>
 
 </html>
+
+<!-- $Id$ -->