update-index --split-index: do not split if $GIT_DIR is read only
[gitweb.git] / contrib / workdir /
drwxr-xr-x   parent (dest: contrib; base: a0a967568e8de5306d1889583c4dad0ff937f5ef)
-rwxr-xr-x 1886 git-new-workdir