git-gui: Corrected font used for options menu items.
tree658b16b8f3ec53b471db40d7324e1e03aacc86bd
-rw-r--r-- 1234 TODO
lrwxrwxrwx 7 git-citool -> git-gui
-rwxr-xr-x 50040 git-gui