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