bin/seed-build-list: delete deletion-list part of packages which are on the deletion-list and the build-list - builder

diff options

author	Erich Eckner <git@eckner.net>	2020-02-20 15:05:59 +0100
committer	Erich Eckner <git@eckner.net>	2020-02-20 15:05:59 +0100
commit	36b0e9da28d78caf79f1fc5f8e39cb467aea3354 (patch)
tree	abd9d81a06b220d3d522dbd245205f4a6136c2cd /bin/check-opcodes
parent	e6a20e404220f11b5dcb89a26487e1bbca79230a (diff)

bin/seed-build-list: delete deletion-list part of packages which are on the deletion-list and the build-list

Diffstat (limited to 'bin/check-opcodes')

0 files changed, 0 insertions, 0 deletions