X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fpkg-matita%2Ftarballs%2Fmatita_0.4.0.orig.tar.gz;fp=helm%2Fsoftware%2Fpkg-matita%2Ftarballs%2Fmatita_0.4.0.orig.tar.gz;h=0000000000000000000000000000000000000000;hb=4560235ab329d193f663aa245aa4afe7938dbe03;hp=f58c98600bee9a26aa48b3aba37d33876fc64fc0;hpb=b43582bbc793b9991fa5bfafcfe701c22b7946c5;p=helm.git

diff --git a/helm/software/pkg-matita/tarballs/matita_0.4.0.orig.tar.gz b/helm/software/pkg-matita/tarballs/matita_0.4.0.orig.tar.gz
deleted file mode 120000
index f58c98600..000000000
--- a/helm/software/pkg-matita/tarballs/matita_0.4.0.orig.tar.gz
+++ /dev/null
@@ -1 +0,0 @@
-matita-0.4.0.tar.gz
\ No newline at end of file