]> matita.cs.unibo.it Git - helm.git/commit
Crontab updated
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 3 Oct 2006 11:59:30 +0000 (11:59 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 3 Oct 2006 11:59:30 +0000 (11:59 +0000)
commit6be0566fd9ae40b9b1b9c57196b3a7bce6df1dfd
tree289ffe53659e472df9b6cfc5a83442ec8a3b332e
parent4832b9d9a303b3e0793ab904581366e1c0e09de5
Crontab updated
helm/software/matita/scripts/crontab