From: Claudio Sacerdoti Coen Date: Wed, 20 Feb 2002 17:04:53 +0000 (+0000) Subject: M.L. on-line archives are on-line! X-Git-Tag: V_0_3_0_debian_8~288 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=57dd77abe7a77423bcf7896dc975ac52fd5fcfc8;p=helm.git M.L. on-line archives are on-line! --- diff --git a/helm/mowgli/home/xml/members-index.xml b/helm/mowgli/home/xml/members-index.xml index 93eb7a7cf..ed24bb409 100644 --- a/helm/mowgli/home/xml/members-index.xml +++ b/helm/mowgli/home/xml/members-index.xml @@ -33,7 +33,7 @@
mowgli-dev (Info, - Archive) + Archive)
General development issues of the project