From: Stefano Zacchiroli <zack@upsilon.cc>
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;hp=98e5b67ea77eaaea3e541d97ab03f90a8c2edd3e;p=helm.git

added dir for released matita tarballs
---