]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f4f44aa) | patch
Bug (found during code review) fixed (but not tested and bug never re-produced):
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 24 Jul 2009 21:23:19 +0000 (21:23 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 24 Jul 2009 21:23:19 +0000 (21:23 +0000)
commitbc7d32fd5c34cc2ac0edff13292662585e6ffa51
tree49373b9280f2553983ff426fef0ad2db3914f21btree | snapshot
parentf4f44aa85f6d8ad07c44ce5890bd447f04b9c8a2commit | diff
Bug (found during code review) fixed (but not tested and bug never re-produced):
wrong context passed around.
helm/software/components/ng_cic_content/nTermCicContent.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.