chiark / gitweb /
dot/infokey: Configure the standalone Info reader a bit.
[profile] / dot / gtk3-settings.ini
2017-07-02 Mark Woodingdot/gtk...: Configuration for Gtk things.