putty-defaults: Revert bogus change to Putty terminal height.

[profile] / gitconfig

diff --git a/gitconfig b/gitconfig
index 9be32a3..5d38112 100644 (file)
--- a/gitconfig
+++ b/gitconfig
@@ -54,3 +54,6 @@
 [mail "alias"]
        git = git@vger.kernel.org
        mdw = mdw@distorted.org.uk
+[gui]
+       fontui = -family helvetica -size 11 -weight normal -slant roman -underline 0 -overstrike 0
+       fontdiff = -family fixed -size 11 -weight normal -slant roman -underline 0 -overstrike 0