prune_remote(): initialize both delete_refs lists in a single loop
[gitweb.git] / git-gui / windows /
drwxr-xr-x   parent (dest: git-gui; base: 28d3f214d12af4a3d7e625faf4bb0af6c735fa8b)
-rwxr-xr-x 687 git-gui.sh