| commit | 476331ee581ad3df9ab11555b7d03d63a610c184 | [log] [tgz] |
|---|---|---|
| author | bluss <bluss@users.noreply.github.com> | Sat Nov 17 18:09:50 2018 +0100 |
| committer | GitHub <noreply@github.com> | Sat Nov 17 18:09:50 2018 +0100 |
| tree | 106c1a37715579d9bdc11d4d7b51525857877718 | |
| parent | 4f66dda4400e975e551ce36fd66a78e00a435c2d [diff] | |
| parent | e0466ade679681e383109ed6752d8391bf2e36d6 [diff] |
Merge pull request #209 from khuey/prune Add support for pruning nodes from a DFS.