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