diff options
| author | Mattia Rizzolo <mattia@debian.org> | 2017-04-11 20:55:48 +0200 |
|---|---|---|
| committer | Mattia Rizzolo <mattia@debian.org> | 2017-04-11 20:55:55 +0200 |
| commit | e32380742425313817f235ed1774a45ea9c2752f (patch) | |
| tree | b5c035a6d17157878d44bb92906fb49e007754fe /live/config/chroot_local-includes/lib | |
| parent | d0db59ed0007fa7612d66c628bb59d275432c825 (diff) | |
| download | jenkins.debian.net-e32380742425313817f235ed1774a45ea9c2752f.tar.xz | |
reproducible debian: temporarily rise the schedule limit (again)
Signed-off-by: Mattia Rizzolo <mattia@debian.org>
Diffstat (limited to 'live/config/chroot_local-includes/lib')
0 files changed, 0 insertions, 0 deletions