]> 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: b7d1b72)
Name mispelled.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 1 Mar 2002 12:41:35 +0000 (12:41 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 1 Mar 2002 12:41:35 +0000 (12:41 +0000)
helm/mowgli/home/xml/people/nijmegen/niqui.xml patch | blob | history

diff --git a/helm/mowgli/home/xml/people/nijmegen/niqui.xml b/helm/mowgli/home/xml/people/nijmegen/niqui.xml
index a56eaab4417def31dd3ffd7954bfe800b5c35a23..6d116334df7a10c50f5b5a35391077b3b62561ef 100644 (file)
--- a/helm/mowgli/home/xml/people/nijmegen/niqui.xml
+++ b/helm/mowgli/home/xml/people/nijmegen/niqui.xml
@@ -3,7 +3,7 @@
 <!DOCTYPE person SYSTEM "../person.dtd">
 
 <person>
- <name>Milan</name>
+ <name>Milad</name>
  <surname>Niqui</surname>
  <position>Ph.D. student, Nijmegen</position>
  <e-mail>milad@cs.kun.nl</e-mail>
Unnamed repository; edit this file 'description' to name the repository.