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 /live/config/chroot_local-includes/usr | |
| 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 'live/config/chroot_local-includes/usr')
0 files changed, 0 insertions, 0 deletions