]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 7f9d185)
Mispelled name.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 27 Feb 2002 10:06:57 +0000 (10:06 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 27 Feb 2002 10:06:57 +0000 (10:06 +0000)
helm/mowgli/home/xml/people/nijmegen/wiedijk.xml patch | blob | history

diff --git a/helm/mowgli/home/xml/people/nijmegen/wiedijk.xml b/helm/mowgli/home/xml/people/nijmegen/wiedijk.xml
index 11ea7ecdff40c070784402c041f0c004fcc816a3..1244fe68834d90d1e5765a3c2bf62f0938810f26 100644 (file)
--- a/helm/mowgli/home/xml/people/nijmegen/wiedijk.xml
+++ b/helm/mowgli/home/xml/people/nijmegen/wiedijk.xml
@@ -4,7 +4,7 @@
 
 <person>
  <name>Freek</name>
- <surname>Widijk</surname>
+ <surname>Wiedijk</surname>
  <qualification>Dr.</qualification>
  <position>Post Doc Researcher, Nijmegen</position>
  <e-mail>freek@cs.kun.nl</e-mail>
Unnamed repository; edit this file 'description' to name the repository.