putty-defaults: Revert bogus change to Putty terminal height.
[profile] / cvsrc
2006-06-12 Mark WoodingMerge branch 'master' of git+ssh://ponder.ncipher.com...
2006-04-06 Mark Woodingcvsrc: Put `-p' in the diff options.
2006-03-13 Mark Woodingcvsrc: Generally sane settings for CVS.