diff options
author | Erich Eckner <git@eckner.net> | 2018-09-20 14:18:21 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-09-20 14:18:21 +0200 |
commit | 8c9bb17561b41cc6d400f762e2cc0fc5311f4d13 (patch) | |
tree | c1fe5eed23ef825218cbb92f4e6755e2f10d5b37 /LICENSE | |
parent | 1563f91689b1307047f6cc139e8b9201e4870162 (diff) | |
download | builder-8c9bb17561b41cc6d400f762e2cc0fc5311f4d13.tar.xz |
bin/sanity-check: ignore unimportant query leftovers (they may be still running)
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions