putty-defaults: Revert bogus change to Putty terminal height.
authorMark Wooding <mdw@distorted.org.uk>
Fri, 8 Feb 2008 13:38:39 +0000 (13:38 +0000)
committerMark Wooding <mdw@distorted.org.uk>
Fri, 8 Feb 2008 13:38:39 +0000 (13:38 +0000)
Made in bc30f5c465d7c38c208e0eccf28b017f4d52206a with the UTF-8 stuff.


No differences found