diff options
author | Jacob Bachmeyer <jcb@gnu.org> | 2021-05-22 21:41:01 -0500 |
---|---|---|
committer | Jacob Bachmeyer <jcb@gnu.org> | 2021-05-22 21:41:01 -0500 |
commit | fcd25d8438c7e26125102e49887450ea79c08481 (patch) | |
tree | de9a24b46ca3947c87e30177965f668dc391db2a /commands | |
parent | f7dbd32b375a6bf85b5ec29b61aadefb57f6f40e (diff) | |
download | dejagnu-fcd25d8438c7e26125102e49887450ea79c08481.zip dejagnu-fcd25d8438c7e26125102e49887450ea79c08481.tar.gz dejagnu-fcd25d8438c7e26125102e49887450ea79c08481.tar.bz2 |
Fix error message in auxiliary launcher
Diffstat (limited to 'commands')
0 files changed, 0 insertions, 0 deletions