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: a0a967568e8de5306d1889583c4dad0ff937f5ef)
-rwxr-xr-x 687 git-gui.sh