gitconfig: Reduce the font size in git-gui.
authorMark Wooding <mdw@distorted.org.uk>
Mon, 11 Feb 2008 14:56:43 +0000 (14:56 +0000)
committerMark Wooding <mdw@distorted.org.uk>
Mon, 11 Feb 2008 14:56:43 +0000 (14:56 +0000)
commit4d93931d1e3fb92ca806fc8f3b2c07895430c608
tree033de0c1ba852ee3d1dd78419e4f8ac7a67881ea
parentec007beac0f5e4db1b885f974443ff7619a7404d
gitconfig: Reduce the font size in git-gui.

At 11pt the results came out horrible on one machine.  Maybe this will
help.
gitconfig