git-gui: Do not automatically stage file after merge tool finishes
[gitweb.git] / windows /
drwxr-xr-x   parent (dest: ; base: d3bcf55d675a255c00d2743c00978e1f42c93572)
-rw-r--r-- 483 git-gui.sh