]> matita.cs.unibo.it Git - helm.git/commit
tassi/sacerdot
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 18 Apr 2007 08:12:52 +0000 (08:12 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 18 Apr 2007 08:12:52 +0000 (08:12 +0000)
commite43b95930dced45692efaae5f73f1facbe1ee162
treef9072712f8db4cf7340e677c5cb9450e4d656a35
parent9d2d712272880222b3efa3b9d97132f6eeff0c8a
tassi/sacerdot
helm/software/matita/scripts/crontab.sh