chiark / gitweb /
dot/putty-defaults: Use SSH by default.
[profile] / dot / gtk3-settings.ini
2017-07-02 Mark Woodingdot/gtk...: Configuration for Gtk things.