diff options
| author | Erich Eckner <git@eckner.net> | 2018-03-12 09:45:15 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-03-12 09:45:15 +0100 |
| commit | ecc8af9665697dd8b2b074cab4fc14ea780c5915 (patch) | |
| tree | 519b9809d8dd84ec0e86a800c24389c2f8843393 /web-scripts | |
| parent | b8f92b3a98ef521d15140fa4c28327e85f73d71e (diff) | |
| download | builder-ecc8af9665697dd8b2b074cab4fc14ea780c5915.tar.xz | |
bin/db-update: only delete/move parts of state files to avoid unnecessary insanities
Diffstat (limited to 'web-scripts')
0 files changed, 0 insertions, 0 deletions