diff options
| author | Erich Eckner <git@eckner.net> | 2018-04-16 21:31:47 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-04-16 21:32:04 +0200 |
| commit | 809cbd113232eee77dd5a73520bb0608d7a00046 (patch) | |
| tree | 636cd81c7726dd9c7ecffd56ac48a7cf42b3149c /bin/check-db-structure | |
| parent | 7dd3fc81fd48e5b72c7f7b3c090dea9f65553fe2 (diff) | |
| download | builder-809cbd113232eee77dd5a73520bb0608d7a00046.tar.xz | |
bin/ii-connect: teach the buildmaster some respect for the devs
Diffstat (limited to 'bin/check-db-structure')
0 files changed, 0 insertions, 0 deletions