chiark / gitweb /
dot/putty-defaults: Track font-name preference label changes.
[profile] / dot / gtkrc-2.0
2017-07-02 Mark Woodingdot/gtk...: Configuration for Gtk things.