putty-defaults: Revert bogus change to Putty terminal height.
[profile] / cgrc
2007-01-24 Mark Woodingcgrc, stgitrc: More GIT configuration files.