bin/seed-build-list: upon un-deleting a package, actually _remove_ it from the deletion-list - builder

diff options

author	Erich Eckner <git@eckner.net>	2018-07-25 15:51:58 +0200
committer	Erich Eckner <git@eckner.net>	2018-07-25 15:51:58 +0200
commit	dfda73807ee7e016e65fb298b54f5edc2880ecb5 (patch)
tree	62a281711c4c5a11c7201fbdfec4c84c301f966f /bin/delete-packages
parent	700df20c73efe5779a05617485c815ab686bd227 (diff)

bin/seed-build-list: upon un-deleting a package, actually _remove_ it from the deletion-list

Diffstat (limited to 'bin/delete-packages')

0 files changed, 0 insertions, 0 deletions