]> matita.cs.unibo.it Git - helm.git/commit - helm/software/matita/scripts/profile_svn.sh
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8b20a40) | patch
interactive and bad_tests grepped out before insertion in the DB
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 6 Dec 2006 11:45:08 +0000 (11:45 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 6 Dec 2006 11:45:08 +0000 (11:45 +0000)
commitd6082c846d53389e392e90e2a82c4a3036dd1f2d
treeaf0d0f05e0297f7940dcf82c1849e352ae488676tree | snapshot
parent8b20a402003f57320cb9f0cc2eedebbceb16d3fccommit | diff
interactive and bad_tests grepped out before insertion in the DB
helm/software/matita/scripts/profile_svn.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.