web-scripts/to-delete.php: use `is_to_be_deleted` column from `binary_packages` - builder

diff options

author	Erich Eckner <git@eckner.net>	2018-02-06 10:50:32 +0100
committer	Erich Eckner <git@eckner.net>	2018-02-06 10:50:32 +0100
commit	ae5771a8302c7f2d9353911363ffcb3fab14f9ee (patch)
tree	78c4dc2827bc35c14819bc73c11cc80edb5e19a2 /.gitignore
parent	057caf194aa7a9ecd49fba424d34065190304608 (diff)

web-scripts/to-delete.php: use `is_to_be_deleted` column from `binary_packages`

Diffstat (limited to '.gitignore')

0 files changed, 0 insertions, 0 deletions