subst_vars optimized for the explicit_named_subst=[] case (the most common

[helm.git] / helm / matita_homepage / matita.html

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$ -->