From: Claudio Sacerdoti Coen Date: Wed, 27 Feb 2002 10:06:57 +0000 (+0000) Subject: Mispelled name. X-Git-Tag: V_0_3_0_debian_8~262 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4c9123ced31cede42e5cc1e19d701a6f6e5e9d6b;p=helm.git Mispelled name. --- diff --git a/helm/mowgli/home/xml/people/nijmegen/wiedijk.xml b/helm/mowgli/home/xml/people/nijmegen/wiedijk.xml index 11ea7ecdf..1244fe688 100644 --- a/helm/mowgli/home/xml/people/nijmegen/wiedijk.xml +++ b/helm/mowgli/home/xml/people/nijmegen/wiedijk.xml @@ -4,7 +4,7 @@ Freek - Widijk + Wiedijk Dr. Post Doc Researcher, Nijmegen freek@cs.kun.nl