diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-03-19 17:56:23 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-03-19 17:56:23 +0100 |
| commit | 15489275ba72905a6f0d84238480569390475c00 (patch) | |
| tree | 650da93c443fb1d22151a4f7be0bbaab25d704d2 /src/lib | |
| parent | fd29d1866f2ec72b9e334da430e1b789f4677066 (diff) | |
make DB reset optional in API, use it in tests, but not in the benchmark
Diffstat (limited to 'src/lib')
0 files changed, 0 insertions, 0 deletions