]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/people/index.xml
Paul Libbrecht added.
[helm.git] / helm / mowgli / home / xml / people / index.xml
index 1aad63c571c3ca06426584f8de8c844185a109bd..ad5946cf85d8bd9f1b739f8521ffcd90c80fc8a9 100644 (file)
@@ -34,6 +34,7 @@
   <person file="kohlhase"/>
   <person file="melis"/>
   <person file="moschner"/>
+  <person file="libbrecht"/>
  </from>
  <from site="nijmegen">
   <person file="geuvers"/>