X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita_homepage%2Fdevelopers.html;fp=helm%2Fmatita_homepage%2Fdevelopers.html;h=e962a0e5af08d05839701a191c9738b3bc40a80d;hb=ad67dbbe203cbb42e6d893bd268ebaf01bd2dd14;hp=12cea64f7d3c7609dfba574178c10c47c4174845;hpb=2f96ed63a40e2996bb4a249968e90fd0eef3f580;p=helm.git diff --git a/helm/matita_homepage/developers.html b/helm/matita_homepage/developers.html index 12cea64f7..e962a0e5a 100644 --- a/helm/matita_homepage/developers.html +++ b/helm/matita_homepage/developers.html @@ -6,6 +6,13 @@ + +