diff-options.txt: fix minor typos, font inconsistencies, in docs
[gitweb.git] / git-gui / windows /
drwxr-xr-x   parent (dest: git-gui; base: 7eedad15df615e1a2e34cb76920d5c60e9f8d8dd)
-rwxr-xr-x 687 git-gui.sh