bin/delete-packages: remove binary package file if no _real_ package requires it anymore - builder

diff options

author	Erich Eckner <git@eckner.net>	2019-09-12 13:58:08 +0200
committer	Erich Eckner <git@eckner.net>	2019-09-12 13:58:08 +0200
commit	ab868b5cd39b6d3e600ab7d626c4e42ae2361cf9 (patch)
tree	05d877128e7b0a484de7ebba74550bd5360a994e /bin/filter-build-logs
parent	f8a5bdb0f6713e5b011e3bcf610ff8bd3a15cd62 (diff)

bin/delete-packages: remove binary package file if no _real_ package requires it anymore

Diffstat (limited to 'bin/filter-build-logs')

0 files changed, 0 insertions, 0 deletions