diff options
| author | Erich Eckner <git@eckner.net> | 2017-10-10 10:22:29 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-10-10 10:22:29 +0200 |
| commit | bbf4339a3bd6c188861b74c4fdd3f3ffa2aa5b5e (patch) | |
| tree | 526a70fd647c7af0fb6b58879f00a60be0274fbc /bin/db-update | |
| parent | ac149ed01c5fc6d36a9f14cb7b3ed0127fd4490b (diff) | |
| download | builder-bbf4339a3bd6c188861b74c4fdd3f3ffa2aa5b5e.tar.xz | |
bin/sanity-check: check git repositories
Diffstat (limited to 'bin/db-update')
0 files changed, 0 insertions, 0 deletions