worktree: delete .git/worktrees if empty after 'remove'
[gitweb.git] / t / t9126 /
drwxr-xr-x   parent (dest: t; base: 3a5404333c6c8b5897e78c9dcb711d623035791b)
-rw-r--r-- 2355 follow-deleted-readded.dump