diff options
| author | Kevin Quick <kquick@galois.com> | 2020-09-24 12:30:03 -0700 |
|---|---|---|
| committer | Kevin Quick <kquick@galois.com> | 2020-09-24 12:30:03 -0700 |
| commit | bd5f3dbe118d569ffb201ce14394572ac5fc412c (patch) | |
| tree | af614ef976381b59611f718f84c313e903dcdb6a /.version | |
| parent | 8d9402f411643c451cf2a0776afcb3a1af0f9a8c (diff) | |
Fixes fall-through to report correct description of hash-file command.
Diffstat (limited to '.version')
0 files changed, 0 insertions, 0 deletions