diff options
author | Mattia Rizzolo <mattia@mapreri.org> | 2015-04-12 12:40:49 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-04-12 12:42:06 +0200 |
commit | 5a260a9c41abf8fea31d32237eed0e52b5807095 (patch) | |
tree | ef5ba557b5d122978efd4cb7e146708027edd7f6 /debian/source/format | |
parent | cb14ba6ffb535dc8d58b423538451b2afe3675b5 (diff) | |
download | jenkins.debian.net-5a260a9c41abf8fea31d32237eed0e52b5807095.tar.xz |
reproducible: add "Warning: old schroots found in /schroots, which have been deleted:" to logparse, to be notified when this happens
Diffstat (limited to 'debian/source/format')
0 files changed, 0 insertions, 0 deletions