worktree: delete .git/worktrees if empty after 'remove'
[gitweb.git] / t / t9700 /
drwxr-xr-x   parent (dest: t; base: 3a5404333c6c8b5897e78c9dcb711d623035791b)
-rwxr-xr-x 5944 test.pl