chiark / gitweb /
dot/shell-rc: Run `make' nicely by default.
[profile] / dot / gtk3-settings.ini
2017-11-16 Mark Woodingdot/gtk3-settings.ini: Inhibit ridiculous fine-tuning...
2017-07-02 Mark Woodingdot/gtk...: Configuration for Gtk things.