chiark / gitweb /
el/dot-emacs.el (mdw-fontify-rust): Fix integer literal syntax.
[profile] / dot / putty-defaults
2018-07-16 Mark Woodingdot/putty-defaults: Use client-side `Fixed' font.
2017-09-20 Mark Woodingdot/putty-defaults: Use SSH by default.
2017-09-20 Mark Woodingdot/putty-defaults: Include `rsa' key exchange; but...
2017-09-20 Mark Woodingdot/putty-defaults: Include new shiny SSH settings.
2017-09-20 Mark Woodingdot/putty-defaults: Track font-name preference label...
2017-09-20 Mark Woodingdot/putty-defaults: Express the font name in a more...
2017-09-20 Mark Woodingdot/putty-defaults: PuTTY wants to sort the `TerminalMo...
2017-08-08 Mark Woodingdot/putty-defaults: Try a blinking bar cursor for size.
2017-08-03 Mark Woodingdot/putty-defaults: Show bold as colour and font.
2017-08-01 Mark Woodingdot/putty-defaults: Report terminal as having 256 colours.
2012-01-11 Mark WoodingUse Ian Jackson's `trad' versions of 6x13 for general...
2010-06-27 Mark Woodingdot/putty-defaults: Don't scroll on output.
2009-07-18 Mark WoodingGreat reorganization.