chiark / gitweb /
dot/putty-defaults: Track font-name preference label changes.
[profile] / dot / toprc
2013-05-27 Mark Woodingdot/toprc: New config file for the top(1) in wheezy.
2009-07-18 Mark WoodingGreat reorganization.