diff options
author | Sergey Poznyakoff <gray@gnu.org> | 2022-06-20 11:50:46 +0300 |
---|---|---|
committer | Sergey Poznyakoff <gray@gnu.org> | 2022-06-20 11:50:46 +0300 |
commit | c96c160375bd1f3861651311e8645fb6478a1ffd (patch) | |
tree | 56d154f2b3874a45519aa8571cca2bf704214695 /tools/gdbmshell.c | |
parent | c3dc7294670c91af89e0122c6979de70c63ce4f7 (diff) | |
download | gdbm-c96c160375bd1f3861651311e8645fb6478a1ffd.tar.gz |
gdbm_dump: fix command line error detection
This fixes https://puszcza.gnu.org.ua/bugs/?567
Diffstat (limited to 'tools/gdbmshell.c')
0 files changed, 0 insertions, 0 deletions