]> matita.cs.unibo.it Git - helm.git/commit
...
authormarangon <??>
Thu, 15 Dec 2005 15:47:09 +0000 (15:47 +0000)
committermarangon <??>
Thu, 15 Dec 2005 15:47:09 +0000 (15:47 +0000)
commitb92a0ec32215eea5e0452154da54d5a29a84a53e
tree15c75bab1fce0e7df515ea675e122465a940dc6e
parentb1ace2fa2a08a3657b7985bee7a376b9f1781a34
...
helm/matita/tests/.cvsignore
helm/matita/tests/bad_tests/.cvsignore [new file with mode: 0644]