ocaml 3.09 transition

[helm.git] / helm / mowgli / home / xml / work-packages / distribution.xml

diff --git a/helm/mowgli/home/xml/work-packages/distribution.xml b/helm/mowgli/home/xml/work-packages/distribution.xml
index b3cec0b13974b515822a4ed91474c7781d60d7ef..2f81e8db63bb260f6c90be74404784ee66cfd418 100644 (file)
--- a/helm/mowgli/home/xml/work-packages/distribution.xml
+++ b/helm/mowgli/home/xml/work-packages/distribution.xml
@@ -6,6 +6,7 @@
  <name>Distribution</name>
  <begin>Month 18</begin>
  <end>Month 30</end>
+ <leader file="dfki/kohlhase"/>
  <person-month participant="bologna" number="6"/>
  <person-month participant="inria" number="5"/>
  <person-month participant="dfki" number="8"/>