putty-defaults: Revert bogus change to Putty terminal height.
[profile] / mdw-editor
2008-01-30 Mark WoodingMerge branch 'master' of git+ssh://ponder.ncipher.com...
2008-01-30 Mark Woodingmdw-editor: Use gnuclient if stdin or stdout is noninte...
2007-02-15 Mark Woodingbash_profile: Make editor selection indirect via a...