From e362056c17a503d3ac47600db90de1c534fb1fbb Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 6 Apr 2006 11:08:22 +0000 Subject: [PATCH] Researcher -> Lecturer --- helm/www/matita/developers.shtml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/www/matita/developers.shtml b/helm/www/matita/developers.shtml index e561e9b96..c494b6ecb 100644 --- a/helm/www/matita/developers.shtml +++ b/helm/www/matita/developers.shtml @@ -16,7 +16,7 @@

Current team members

@@ -24,7 +24,7 @@

Former members