diff options
| author | Erich Eckner <git@eckner.net> | 2020-06-18 21:14:04 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-06-18 21:14:04 +0200 |
| commit | 817e3bc5f856536b9e69c8a52c5b3c8755d66961 (patch) | |
| tree | bd6d15e40149e3b0ac1cf9dbcd086123485c647d /bin/check-db-structure | |
| parent | 7bf6778b67246cccb243fd4d88d377e0bf48273f (diff) | |
| download | builder-817e3bc5f856536b9e69c8a52c5b3c8755d66961.tar.xz | |
bin/db-update: short-circuit -p|--progressive
Diffstat (limited to 'bin/check-db-structure')
0 files changed, 0 insertions, 0 deletions