Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Speed up pruner #969
For the Nanoc web site, this results in a ±100x speedup (unscientific results), going from ±0.5s to ±0.005s.
No test changes, as the behavior has not changed.