diff options
| author | Christian Grothoff <christian@grothoff.org> | 2019-12-24 22:32:02 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2019-12-24 22:32:02 +0100 |
| commit | 6d65457203419b601eacca3dee59a290b9718b62 (patch) | |
| tree | 4ce7a83868b6fd1b573f002fa53d4022375c24f5 /AUTHORS | |
| parent | 0ec3301cfb26e3d5f741389ab2f1f99068b6ed17 (diff) | |
tolerate database not existing, skip test
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions