dir: convert directory_exists_in_index to take index
[gitweb.git] / contrib / workdir /
drwxr-xr-x   parent (dest: contrib; base: ae520e36758f45f1b9972f2b91db91a7f1c5559e)
-rwxr-xr-x 2402 git-new-workdir