]> matita.cs.unibo.it Git - helm.git/commit
Mark fixed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 28 Oct 2005 20:36:19 +0000 (20:36 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 28 Oct 2005 20:36:19 +0000 (20:36 +0000)
commitd1baf18b11ae6b8f37d7561f6499106fad0e8b0f
tree109427c05d0915579414a23e883bc6cfd6061981
parentd6b38a5565abd0efa64578639a097761ea298dbc
Mark fixed.
helm/matita/scripts/profile_cvs.sh