diff options
author | Mattia Rizzolo <mattia@mapreri.org> | 2015-05-02 00:06:14 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-05-02 00:22:07 +0200 |
commit | 87a6d65e6ee38e60d4c040ae92139236ccfffd9d (patch) | |
tree | 3f4ee0e1618e2917aa01385b3072943dc5d40e0a /live/config/chroot_local-includes | |
parent | 808a402d90493821dcdd1ec3518aa69c273bea97 (diff) | |
download | jenkins.debian.net-87a6d65e6ee38e60d4c040ae92139236ccfffd9d.tar.xz |
README: document the 'notify' option of the reproducible manual scheduler
Diffstat (limited to 'live/config/chroot_local-includes')
0 files changed, 0 insertions, 0 deletions