diff options
| author | Christian Grothoff <christian@grothoff.org> | 2015-09-21 10:43:22 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2015-09-21 10:43:22 +0200 |
| commit | a9f01707ad64fc554077ca109ba03128ed8294be (patch) | |
| tree | a2dbd07b39e5a4a38db501050dbd2c01fd8f83ec /src/mintdb/Makefile.am | |
| parent | 49d8426cf444daaf97c195096c5f59bf010b16d0 (diff) | |
add option -C to force closing of connections
Diffstat (limited to 'src/mintdb/Makefile.am')
0 files changed, 0 insertions, 0 deletions