summaryrefslogtreecommitdiff
path: root/debian/source/options
diff options
context:
space:
mode:
authorMartin Sustrik <sustrik@250bpm.com>2010-10-15 10:58:19 +0200
committerMartin Sustrik <sustrik@250bpm.com>2010-10-15 10:58:19 +0200
commitb64b50ae218dbbc362eaeb0571a337650f623e3c (patch)
tree38247a0addc1da446a54f6621a7aab68227514c1 /debian/source/options
parente288f7a347eb5a2fd38043d930fc67c8e8bcce9b (diff)
Timers correctly canceled by PGM engines on shutdown.
Signed-off-by: Martin Sustrik <sustrik@250bpm.com>
Diffstat (limited to 'debian/source/options')
0 files changed, 0 insertions, 0 deletions