bin/seed-build-list: ignore to-be-deleted packages, too - builder

diff options

author	Erich Eckner <git@eckner.net>	2018-02-26 20:31:30 +0100
committer	Erich Eckner <git@eckner.net>	2018-02-26 20:31:30 +0100
commit	6dd8f08841badc851ee88ebcf0364068a4a42e2e (patch)
tree	72909ced3c856a278ac6aa87f768c6d0a632be50 /bin/prioritize-build-list
parent	3c876e32b322c15326b5835bb4fef1a02adbcbb6 (diff)

bin/seed-build-list: ignore to-be-deleted packages, too

Diffstat (limited to 'bin/prioritize-build-list')

0 files changed, 0 insertions, 0 deletions