diff options
| author | Erich Eckner <git@eckner.net> | 2018-06-19 08:18:50 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-06-19 08:20:08 +0200 |
| commit | 7c9e48da1f3c88cff6602658ff74476445e1b2bd (patch) | |
| tree | 6d6bbcc0f10f048678fa2817e47dc417159ad11e /misc | |
| parent | 5591501f54f751cac9944e6fc5003d665d071eed (diff) | |
| download | builder-7c9e48da1f3c88cff6602658ff74476445e1b2bd.tar.xz | |
bin/sanity-check: accellerate check for left-over mysql files
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions