chiark / gitweb /
Merge branch 'master' of git+ssh://ponder.ncipher.com/~mwooding/etc/profile
[profile] / putty-defaults
2008-02-11 Mark WoodingMerge branch 'master' of git+ssh://ponder.ncipher.com...
2008-02-08 Mark Woodingputty-defaults: Revert bogus change to Putty terminal...
2008-02-07 Mark WoodingUse UTF8 on X, and guess at console.
2007-11-13 Mark Woodingputty-defaults: Minor tweaking.
2007-11-12 Mark WoodingSwitch out Eterm for pterm.