]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c39567b) | patch
avoid collapsing node that does not need to be, i.e.:
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 20 Jul 2006 15:02:52 +0000 (15:02 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 20 Jul 2006 15:02:52 +0000 (15:02 +0000)
commit580b515a80013387fea56e41b03a579edac38f75
treedc9e1e0c033c9d066083f21b37683b33e6803d00tree | snapshot
parentc39567bfa25333be8a51c969dabbaf0aeb4dfa57commit | diff
avoid collapsing node that does not need to be, i.e.:
- nodes with no outgoing edges
- nodes which have not been expanded before
helm/software/components/metadata/metadataDeps.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.