diff options
author | Jacob Bachmeyer <jcb62281+dev@gmail.com> | 2020-05-25 09:57:38 -0600 |
---|---|---|
committer | Rob Savoye <rob@senecass.com> | 2020-05-25 09:57:38 -0600 |
commit | 16a6991256c245eafafa3ebe7ff9e4498ec3645f (patch) | |
tree | 09989a92b52ea81d6e565869ba61bdb3e54a7329 /doc/dejagnu.texi | |
parent | d3dfed9a094709af9abcc64d20ae688b265c60f5 (diff) | |
download | dejagnu-16a6991256c245eafafa3ebe7ff9e4498ec3645f.zip dejagnu-16a6991256c245eafafa3ebe7ff9e4498ec3645f.tar.gz dejagnu-16a6991256c245eafafa3ebe7ff9e4498ec3645f.tar.bz2 |
Use board_info correctly.
Diffstat (limited to 'doc/dejagnu.texi')
0 files changed, 0 insertions, 0 deletions