]> matita.cs.unibo.it Git - helm.git/commit - helm/matita/scripts/do_tests.sh
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b881e38) | patch
Bug fixed: removal of .__log was not always attempted.
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 25 Nov 2005 16:37:53 +0000 (16:37 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 25 Nov 2005 16:37:53 +0000 (16:37 +0000)
commitde331332663ed9e4673755268b35a0b0f717ff73
tree59485c43e9707af1aa35c09a0f11aa7f9cc076cdtree | snapshot
parentb881e38c03d5ecf26267a47d7e4208bd31ebc33dcommit | diff
Bug fixed: removal of .__log was not always attempted.
helm/matita/scripts/do_tests.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.