branch: factor out check_branch_commit()
[gitweb.git] / git-gui / windows /
drwxr-xr-x   parent (dest: git-gui; base: f5d0e162c49320d5069a63a05960fc5a38d72423)
-rw-r--r-- 687 git-gui.sh