diff options
| author | Christian Grothoff <christian@grothoff.org> | 2015-04-13 13:49:42 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2015-04-13 13:49:42 +0200 |
| commit | 2310a3f4747edf100b4c96737426239c893a04a9 (patch) | |
| tree | 50378498ee7e2f455840bac880411e549bd4b9df /src/mintdb | |
| parent | 9e9bad8dad9aacd3028e1baab76de36c8a5dbdc7 (diff) | |
fixing -h and -v command line tool options
Diffstat (limited to 'src/mintdb')
0 files changed, 0 insertions, 0 deletions