diff options
| author | Erich Eckner <git@eckner.net> | 2018-04-13 15:12:35 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-04-13 15:12:35 +0200 |
| commit | da7eb1fc8e1ba94c2ba645d8b9ec2823ca0114c7 (patch) | |
| tree | d89d8c3dfc3de3cbdbfcbbecca3afcb587580353 /.gitignore | |
| parent | 5d71db45a01879d6911f45297724346f1cc8aa74 (diff) | |
| download | builder-da7eb1fc8e1ba94c2ba645d8b9ec2823ca0114c7.tar.xz | |
bin/sanity-check: test if left-over mysql query is still there after 5 seconds
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions