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/prioritize-build-list | |
| 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/prioritize-build-list')
0 files changed, 0 insertions, 0 deletions