]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 24898ae) | patch
we were generating a name for the main fix twice
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 26 Jan 2009 17:10:50 +0000 (17:10 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 26 Jan 2009 17:10:50 +0000 (17:10 +0000)
commit164332b640d2c2e601350065b0074ba80426ea5c
tree4758c431cbba9e3b8e1ba30e1e4407edaa372fb4tree | snapshot
parent24898ae10160660dac8d13fda33d90d3b1f4ace6commit | diff
we were generating a name for the main fix twice
helm/software/components/library/cicFix.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.