check_everything_connected: assume alternate ref tips are valid
[gitweb.git] / git-gui / windows /
drwxr-xr-x   parent (dest: git-gui; base: 39b44ba771a315602fd1fdca2e12dfc31ef9c613)
-rwxr-xr-x 687 git-gui.sh