git-gui: Added Options... menu item to end of diff context menu.
tree41025192cb940293691df718632f545e14de6861
-rw-r--r-- 1234 TODO
lrwxrwxrwx 7 git-citool -> git-gui
-rwxr-xr-x 58918 git-gui