putty-defaults: Revert bogus change to Putty terminal height.
[profile] / colordiffrc
2007-01-28 Mark Woodingcolordiffrc: More configuration files!