git-gui: Rename difffont/mainfont variables.
treed1b1fd7e5e392cc4f0ea81e816980538e7ebb879
-rw-r--r-- 1234 TODO
lrwxrwxrwx 7 git-citool -> git-gui
-rwxr-xr-x 47935 git-gui