diff options
author | Jacob Bachmeyer <jcb@gnu.org> | 2020-11-17 21:54:36 -0600 |
---|---|---|
committer | Jacob Bachmeyer <jcb@gnu.org> | 2020-11-17 21:54:36 -0600 |
commit | 9950000f4ec0f6cd2c5afbc8ec5413391c20a535 (patch) | |
tree | b20d152856dde414be9afd10d280c22998145453 /doc/texinfo.tex | |
parent | 4e404d84294f27c3de7cffb06869afa64409f286 (diff) | |
download | dejagnu-9950000f4ec0f6cd2c5afbc8ec5413391c20a535.zip dejagnu-9950000f4ec0f6cd2c5afbc8ec5413391c20a535.tar.gz dejagnu-9950000f4ec0f6cd2c5afbc8ec5413391c20a535.tar.bz2 |
Fix errors in manual reported in PR44636
Diffstat (limited to 'doc/texinfo.tex')
0 files changed, 0 insertions, 0 deletions