]> 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)
commit54b8d795b28328cd3c73943290e39dd7c2d2bf8a
tree32afc7f71738163010eecb7b5e8c4aec8e1ebe8a
parentf843de42589aad8a6e5bfd29a4330794ca2f3e2c
tassi/sacerdot
matita/scripts/crontab.sh