diff-options: make --patch a synonym for -p
[gitweb.git] / git-gui / windows /
drwxr-xr-x   parent (dest: git-gui; base: 1c9eecff97beab2d425397dc624281dff5c0be5c)
-rw-r--r-- 633 git-gui.sh