chiark / gitweb /
worktree support: Fix playtree_setup