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 /web-scripts | |
| parent | 668b94e67649d45d3bd7dacf075dab14428ce24b (diff) | |
| download | builder-057caf194aa7a9ecd49fba424d34065190304608.tar.xz | |
bin/build-master-status-from-mysql: is_to_be_deleted should be considered on the deletion-list, too
Diffstat (limited to 'web-scripts')
0 files changed, 0 insertions, 0 deletions