Learn more about these different git repos.
Other Git URLs
39333e5
- better cleanup on exit - pull rbtrees in favor of simple list until later