update-index --split-index: do not split if $GIT_DIR is read only
[gitweb.git] / git-gui / windows /
drwxr-xr-x   parent (dest: git-gui; base: a0a967568e)
-rwxr-xr-x 687 git-gui.sh