From: Enrico Tassi Date: Mon, 12 Dec 2005 14:21:37 +0000 (+0000) Subject: fix X-Git-Tag: make_still_working~8018 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=47f1b3d348e08b8b70b7d6f5e24ce31f70850383;p=helm.git fix --- diff --git a/helm/matita_homepage/developers.html b/helm/matita_homepage/developers.html index f6d9ab181..085c73ab5 100644 --- a/helm/matita_homepage/developers.html +++ b/helm/matita_homepage/developers.html @@ -11,10 +11,10 @@