Added header to all files.

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

diff --git a/helm/matita_homepage/documentation.html b/helm/matita_homepage/documentation.html
index 52878708424012658840df0787b5ea7ea1404eda..447e8c60cfc393ba26f6211ee7d76ba7f20ff9b9 100644 (file)
--- a/helm/matita_homepage/documentation.html
+++ b/helm/matita_homepage/documentation.html
@@ -43,7 +43,8 @@
 
        <tr>
          <td>
-
+           <br>
+           testo qui
          </td>
        </tr>