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 /README.md | |
parent | f1bf6de03ad68e75dd2602a1744cc30a4a23b6f5 (diff) | |
download | builder-1402c0c7565e1a1ecc55c0383727de5b6ad0dba3.tar.xz |
bin/sanity-check: print into "messages" in case of insane database
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions