X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fwork-packages%2Finterfaces.xml;h=b8ca886fd2f313a58c360141030c3ba4511771f8;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=cbd3db83b1e7e8ee647412263571ab28533d21b8;hpb=2f3cd07536c7abacd73d144c9f033503457522d5;p=helm.git

diff --git a/helm/mowgli/home/xml/work-packages/interfaces.xml b/helm/mowgli/home/xml/work-packages/interfaces.xml
index cbd3db83b..b8ca886fd 100644
--- a/helm/mowgli/home/xml/work-packages/interfaces.xml
+++ b/helm/mowgli/home/xml/work-packages/interfaces.xml
@@ -6,6 +6,7 @@
  <name>Interfaces</name>
  <begin>Month 3</begin>
  <end>Month 24</end>
+ <leader file="inria/pottier"/>
  <person-month participant="bologna" number="16"/>
  <person-month participant="inria" number="16"/>
  <person-month participant="dfki" number="5"/>