From: Stefano Zacchiroli Date: Tue, 7 Feb 2006 15:04:52 +0000 (+0000) Subject: added dir for released matita tarballs X-Git-Tag: make_still_working~7606 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=98e5b67ea77eaaea3e541d97ab03f90a8c2edd3e;p=helm.git added dir for released matita tarballs --- diff --git a/helm/www/matita/sources/matita-latest.tar.gz b/helm/www/matita/sources/matita-latest.tar.gz new file mode 120000 index 000000000..851a6477c --- /dev/null +++ b/helm/www/matita/sources/matita-latest.tar.gz @@ -0,0 +1 @@ +matita-0.1.0.tar.gz \ No newline at end of file