chiark / gitweb /
New tool to get/update/switch (as appropriate) subdirectories in a tree