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) | |
download | builder-dfda73807ee7e016e65fb298b54f5edc2880ecb5.tar.xz |
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