gitconfig: Reduce the font size in git-gui.
[profile] / bash_logout
2006-02-16 Mark WoodingInitial import of my profile.