From 47f1b3d348e08b8b70b7d6f5e24ce31f70850383 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 12 Dec 2005 14:21:37 +0000 Subject: [PATCH] fix --- helm/matita_homepage/developers.html | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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 @@ -- 2.39.2