chiark / gitweb /
Mini-mode now hides/shows tab group widget and has a separate label
[disorder] / debian / etc.disorder.options.user
1 # This file is included from /etc/disorder/options as its last act, so you can
2 # use it to override any of the default settings.