bin/build-master-status-from-mysql: is_to_be_deleted should be considered on the deletion-list, too - builder

diff options

author	Erich Eckner <git@eckner.net>	2018-02-06 10:41:33 +0100
committer	Erich Eckner <git@eckner.net>	2018-02-06 10:41:33 +0100
commit	057caf194aa7a9ecd49fba424d34065190304608 (patch)
tree	3ecf8d3a3d7cd6a484d519e74ad840a0e9b509b6 /.gitignore
parent	668b94e67649d45d3bd7dacf075dab14428ce24b (diff)

bin/build-master-status-from-mysql: is_to_be_deleted should be considered on the deletion-list, too

Diffstat (limited to '.gitignore')

0 files changed, 0 insertions, 0 deletions