chiark / gitweb /
Shun time(), since on Linux it is not monotonic with gettimeofday().
[disorder] / debian / etc.disorder.options.user
CommitLineData
8f9616f1
RK
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.