commit-reach.c: allow remove_redundant to handle any repo
[gitweb.git] / git-gui / windows /
drwxr-xr-x   parent (dest: git-gui; base: ed8a0e3ac5e9c2c625bb86f0de5a82f91075e720)
-rwxr-xr-x 687 git-gui.sh