DisOrder 4.2

[disorder] / debian / etc.disorder.options.user

# This file is included from /etc/disorder/options as its last act, so you can
# use it to override any of the default settings.