]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/sites/dfki.xml
Goguadze added.
[helm.git] / helm / mowgli / home / xml / sites / dfki.xml
index d5ec29ab0a14ed93fc71785941413bf1c393e40f..9ec343a99112576441d4b9c08ac787b8a3a33153 100644 (file)
@@ -63,5 +63,6 @@
  <member file="dfki/kohlhase"/>
  <member file="dfki/melis"/>
  <member file="dfki/moschner"/>
+ <member file="dfki/goguadze"/>
  <member file="dfki/libbrecht"/>
 </site>