* Once done, git-add everything and git-commit everything. This even takes
tree5bc7ae2da20f9d3f57e6c2b8e4b992172e6b9061
-rw-r--r-- 1194 README
-rw-r--r-- 9336 config.py
-rwxr-xr-x 6144 split-tree.py