09362bc3e8
On very large graphs (14k+ paths), we'd end up with a massive in memory tree of mostly duplication. We can safely cache trees and point back to them later, saving memory. |
||
---|---|---|
.. | ||
closure-graph.py | ||
default.nix |