Markus Moschner (DFKI) added.

[helm.git] / helm / mowgli / home / xml / people / index.xml

diff --git a/helm/mowgli/home/xml/people/index.xml b/helm/mowgli/home/xml/people/index.xml
index 3edd447a165216f33581039fda8281c2f7a1a84f..1aad63c571c3ca06426584f8de8c844185a109bd 100644 (file)
--- a/helm/mowgli/home/xml/people/index.xml
+++ b/helm/mowgli/home/xml/people/index.xml
@@ -33,6 +33,7 @@
   <person file="siekmann"/>
   <person file="kohlhase"/>
   <person file="melis"/>
+  <person file="moschner"/>
  </from>
  <from site="nijmegen">
   <person file="geuvers"/>