diff options
author | Erich Eckner <git@eckner.net> | 2018-07-18 13:24:58 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-07-18 13:24:58 +0200 |
commit | b0a1c7e0aff57ff754929b7508203eec9e80a092 (patch) | |
tree | a8c4e32c2f523c9c9d3c9cb6e59b449a26bb1a9c /bin/check-bugtracker | |
parent | 5176b7e884a47b01aff45a8bb549fb3ec7d9718d (diff) | |
download | builder-b0a1c7e0aff57ff754929b7508203eec9e80a092.tar.xz |
bin/seed-build-list: entries in conf/seed-ignore-packages do not make _all_ matching packages ignored, but only upstream-mirror ones (-m)
Diffstat (limited to 'bin/check-bugtracker')
0 files changed, 0 insertions, 0 deletions