worktree remove: allow it when $GIT_WORK_TREE is already gone
[gitweb.git] / t / diff-lib /
drwxr-xr-x   parent (dest: t; base: ee6763af0a3b97225803c6c908a29de40336cf38)
-rw-r--r-- 18787 COPYING
-rw-r--r-- 2163 README