From 98e5b67ea77eaaea3e541d97ab03f90a8c2edd3e Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 7 Feb 2006 15:04:52 +0000 Subject: [PATCH] added dir for released matita tarballs --- helm/www/matita/sources/matita-latest.tar.gz | 1 + 1 file changed, 1 insertion(+) create mode 120000 helm/www/matita/sources/matita-latest.tar.gz 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 -- 2.39.5