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 /cucumber/features/images/d-i_bootmenu_graphical.png | |
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 'cucumber/features/images/d-i_bootmenu_graphical.png')
0 files changed, 0 insertions, 0 deletions