]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/sites/dfki.xml
Modified Files:
[helm.git] / helm / mowgli / home / xml / sites / dfki.xml
index e0c9bf9d3513088f31ba508675f91ec3fb36f51f..d5ec29ab0a14ed93fc71785941413bf1c393e40f 100644 (file)
@@ -63,4 +63,5 @@
  <member file="dfki/kohlhase"/>
  <member file="dfki/melis"/>
  <member file="dfki/moschner"/>
+ <member file="dfki/libbrecht"/>
 </site>