From ad67dbbe203cbb42e6d893bd268ebaf01bd2dd14 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 12 Dec 2005 11:14:26 +0000 Subject: [PATCH] added developers --- helm/matita_homepage/developers.html | 7 +++++++ 1 file changed, 7 insertions(+) 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 @@ + + -- 2.39.2