From: Claudio Sacerdoti Coen Date: Wed, 13 Feb 2002 11:29:39 +0000 (+0000) Subject: Wrong cut & paste from Herbelin's data. X-Git-Tag: V_0_3_0_debian_8~338 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=916a721839ac29fb98af0412bdd00733e4d5cedb;p=helm.git Wrong cut & paste from Herbelin's data. --- diff --git a/helm/mowgli/home/xml/people/inria/amerkad.xml b/helm/mowgli/home/xml/people/inria/amerkad.xml index b6cd54de3..462e43266 100644 --- a/helm/mowgli/home/xml/people/inria/amerkad.xml +++ b/helm/mowgli/home/xml/people/inria/amerkad.xml @@ -3,9 +3,8 @@ - Hugo - Herbelin - Prof. - Hugo.Herbelin@inria.fr - http://pauillac.inria.fr/~herbelin + Ahmed + Amerkad + Ahmed.Amerkad@inria.fr + http://www-sop.inria.fr/lemme/Ahmed.Amerkad