From: Irene Schena <irene.schena@unibo.it>
Date: Mon, 11 Mar 2002 15:51:08 +0000 (+0000)
Subject: Modified Files:
X-Git-Tag: V_0_3_0_debian_8~224
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8e1f8804018630d17a1b2d8a4ab581d0d37d4758;p=helm.git

Modified Files:
1) dfki.xml: added member
---

diff --git a/helm/mowgli/home/xml/sites/dfki.xml b/helm/mowgli/home/xml/sites/dfki.xml
index e0c9bf9d3..d5ec29ab0 100644
--- a/helm/mowgli/home/xml/sites/dfki.xml
+++ b/helm/mowgli/home/xml/sites/dfki.xml
@@ -63,4 +63,5 @@
  <member file="dfki/kohlhase"/>
  <member file="dfki/melis"/>
  <member file="dfki/moschner"/>
+ <member file="dfki/libbrecht"/>
 </site>