From: Andrea Asperti Date: Fri, 20 Jan 2006 08:23:17 +0000 (+0000) Subject: font -1 X-Git-Tag: make_still_working~7806 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a7bf84f0d62bcd389215f00c08bcf37d24d4fe8f;p=helm.git font -1 --- diff --git a/helm/matita_homepage/developers.html b/helm/matita_homepage/developers.html index 10c0ad212..aad8963ee 100644 --- a/helm/matita_homepage/developers.html +++ b/helm/matita_homepage/developers.html @@ -10,7 +10,7 @@ - +

Current team members