diff options
author | Mattia Rizzolo <mattia@debian.org> | 2016-12-03 16:41:12 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2016-12-03 16:43:49 +0100 |
commit | d9ee72c7ffe00c91bce29187d7395eff91a9c964 (patch) | |
tree | e71261baa390e99b150b5feca078b32653756e39 /hosts/odu3a-armhf-rb/etc/schroot/default | |
parent | a54c8a2cb9b0323747888b80161751f0aacf73e7 (diff) | |
download | jenkins.debian.net-d9ee72c7ffe00c91bce29187d7395eff91a9c964.tar.xz |
reproducible debian: remote scheduler: use a set() instead of a list to prevent duplicates
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'hosts/odu3a-armhf-rb/etc/schroot/default')
0 files changed, 0 insertions, 0 deletions