graph-diff
graph-diff copied to clipboard
graphdiff: handle unlabeled nodes
Witnessed in graphs generated by ninja -t graph.