diff options
author | Jacob Bachmeyer <jcb@gnu.org> | 2021-04-01 18:08:49 -0500 |
---|---|---|
committer | Jacob Bachmeyer <jcb@gnu.org> | 2021-04-01 18:08:49 -0500 |
commit | ea9642561c3f410dfb9f1362bc61fdf4e499b7f4 (patch) | |
tree | 7c738759d087bd6464979fe26181b5c018864da9 /doc | |
parent | bda78c625a56790f0df2f9c592c3ae4472ace6f4 (diff) | |
download | dejagnu-ea9642561c3f410dfb9f1362bc61fdf4e499b7f4.zip dejagnu-ea9642561c3f410dfb9f1362bc61fdf4e499b7f4.tar.gz dejagnu-ea9642561c3f410dfb9f1362bc61fdf4e499b7f4.tar.bz2 |
Revise usage messages to better fit GNU conventions
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions