chiark / gitweb /
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)
commitb1d0353df9607ce4fceb387a0d7b123eb397e6f2
tree659ca4f4436c5e616c3e7daef29d9634087f68b3
parentbc30f5c465d7c38c208e0eccf28b017f4d52206a
putty-defaults: Revert bogus change to Putty terminal height.

Made in bc30f5c465d7c38c208e0eccf28b017f4d52206a with the UTF-8 stuff.
putty-defaults