Merge any node with a single child. Added --showid and more --debug output.
authorTim Bunce <Tim.Bunce@pobox.com>
Tue, 2 Oct 2012 19:27:16 +0000 (20:27 +0100)
committerTim Bunce <Tim.Bunce@pobox.com>
Tue, 2 Oct 2012 19:27:16 +0000 (20:27 +0100)
commit0a00007b22b1ca12c318ebb863e42e23c2aa2145
treedf7e4113d3ed2e6829a5e3a237a0e68512e9fb39
parent957d176be7818eb52e035c3f6842344b38e9c177
Merge any node with a single child. Added --showid and more --debug output.
static/sizeme_graph.pl