diff options
| author | Erich Eckner <git@eckner.net> | 2018-03-08 09:06:01 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-03-08 09:06:01 +0100 |
| commit | 1402c0c7565e1a1ecc55c0383727de5b6ad0dba3 (patch) | |
| tree | 28f02b41a63db3ff6b021d3bae9d3ab4aea0c3c9 /lib | |
| parent | f1bf6de03ad68e75dd2602a1744cc30a4a23b6f5 (diff) | |
| download | builder-1402c0c7565e1a1ecc55c0383727de5b6ad0dba3.tar.xz | |
bin/sanity-check: print into "messages" in case of insane database
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions