]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/members-index.xml
M.L. on-line archives are on-line!
[helm.git] / helm / mowgli / home / xml / members-index.xml
index 93eb7a7cf3e262644563c7791e65cd569205de9c..ed24bb4090e0395dccd37e1d47e387fa368aa7bd 100644 (file)
@@ -33,7 +33,7 @@
   <dl>
     <dt>
       <b>mowgli-dev (<a href="http://mowgli.cs.unibo.it/mailman/listinfo/mowgli-dev">Info</a>,
-      Archive)</b>
+      <a href="http://mowgli.cs.unibo.it/pipermail/mowgli-dev/">Archive</a>)</b>
     </dt>
     <dd>
       General development issues of the project