git-gui: Allow the user to change the diff viewer font size.
treef29515a40086eda3a9671d1dd52d947ec1db2b64
-rw-r--r-- 1234 TODO
lrwxrwxrwx 7 git-citool -> git-gui
-rwxr-xr-x 51229 git-gui