ocaml 3.09 transition

[helm.git] / helm / mowgli / home / xml / sites / inria.xml

diff --git a/helm/mowgli/home/xml/sites/inria.xml b/helm/mowgli/home/xml/sites/inria.xml
index 28659d4f9af81d59426db4dc71082b55fb552286..ac3f5c23e4114963bfaa030b29e362df2e3eaecd 100644 (file)
--- a/helm/mowgli/home/xml/sites/inria.xml
+++ b/helm/mowgli/home/xml/sites/inria.xml
@@ -62,7 +62,7 @@
  </description>
  <project>
   <name>Lemme</name>
-  <url>???</url>
+  <url>http://www-sop.inria.fr/lemme</url>
   <member file="inria/rideau"/>
   <member file="inria/naciri"/>
   <member file="inria/pottier"/>