diff options
author | Ben Elliston <bje@gnu.org> | 2018-12-10 21:59:08 +1100 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2018-12-10 21:59:08 +1100 |
commit | 2e7d28b57873761210c0405cf472478884b7ddb7 (patch) | |
tree | 749b2a8c0375e1cb39924b664c397b3b6ac35f88 /ChangeLog | |
parent | 95fccbd8992e9c9b8caad3007bcd24ebebe680d3 (diff) | |
download | dejagnu-2e7d28b57873761210c0405cf472478884b7ddb7.zip dejagnu-2e7d28b57873761210c0405cf472478884b7ddb7.tar.gz dejagnu-2e7d28b57873761210c0405cf472478884b7ddb7.tar.bz2 |
* doc/dejagnu.texi (istarget procedure): Remove stray @{.
Diffstat (limited to 'ChangeLog')
-rw-r--r-- | ChangeLog | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -1,3 +1,7 @@ +2018-12-10 Ben Elliston <bje@gnu.org> + + * doc/dejagnu.texi (istarget procedure): Remove stray @{. + 2018-12-10 Jacob Bachmeyer <jcb62281@gmail.com> * doc/dejagnu.texi (Writing a test case): Add warning about |