chiark / gitweb /
Fix pretty_tree to work in a subdirectory