]> matita.cs.unibo.it Git - helm.git/commit
sql query fixed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 28 Oct 2005 21:30:36 +0000 (21:30 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 28 Oct 2005 21:30:36 +0000 (21:30 +0000)
commit2d8c6b98436ec14fbee75414e76317313bb6b2ed
treedb318257e2098205a6a855764ede0e41f2866aa5
parent9b193e984a2ab8c94e4c032c382f17c6c436938d
sql query fixed
helm/matita/scripts/crontab.sh