chiark / gitweb /
dot/putty-defaults: Track font-name preference label changes.
[profile] / dot / evnc-keybindings.cfg
2009-07-18 Mark WoodingGreat reorganization.