diff options
| author | Christian Grothoff <christian@grothoff.org> | 2024-03-10 12:48:28 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2024-03-10 12:48:36 +0100 |
| commit | de9b2408fe95f1daab136dcf01bc96090ad4431d (patch) | |
| tree | f72ac32aa80633458de6b02326c0a8c61b4ac03a /debian | |
| parent | 6606cd92c98f654774624e1812e0915c39cde4ee (diff) | |
permit display-hint to not be the last subcommand, exit on input failures
Diffstat (limited to 'debian')
0 files changed, 0 insertions, 0 deletions