completion: add a note that merge options are shared
[gitweb.git] / git-gui / windows /
drwxr-xr-x   parent (dest: git-gui; base: 6d2b06f02b9c69351a55a2cad0cfab33ecb6ee6f)
-rwxr-xr-x 687 git-gui.sh