X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita_homepage%2Fmatita.html;h=fae7d202a7e963ed14ab75c416834737f3f81fe1;hb=1b295975c01ec30b507a7afabea73e967b8eae43;hp=734266db5e4a9c9b7d5a82c7845c790461ad7e73;hpb=887f1029936b45cd69973bbeccc1baf736bd1571;p=helm.git

diff --git a/helm/matita_homepage/matita.html b/helm/matita_homepage/matita.html
index 734266db5..fae7d202a 100644
--- a/helm/matita_homepage/matita.html
+++ b/helm/matita_homepage/matita.html
@@ -63,3 +63,5 @@
   </body>
 
 </html>
+
+<!-- $Id$ -->