]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d1baf18) | patch
Better detection of spurious status lines.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 28 Oct 2005 20:40:47 +0000 (20:40 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 28 Oct 2005 20:40:47 +0000 (20:40 +0000)
commit9b193e984a2ab8c94e4c032c382f17c6c436938d
tree5a317bbdff09952542a087192f2a18579ecbf921tree | snapshot
parentd1baf18b11ae6b8f37d7561f6499106fad0e8b0fcommit | diff
Better detection of spurious status lines.
helm/matita/scripts/profile_cvs.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.