diff options
author | Ben Elliston <bje@gnu.org> | 2016-04-08 10:10:33 +1000 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2016-04-08 10:10:33 +1000 |
commit | edc6bd72d9c74230cf4336db3ca57b5596729d61 (patch) | |
tree | 5b719be348def9220a040b34d7bd4cc741ca8c4e /ChangeLog | |
parent | a5fe563337dd18f64a9e291764d6ddf16d681578 (diff) | |
download | dejagnu-edc6bd72d9c74230cf4336db3ca57b5596729d61.zip dejagnu-edc6bd72d9c74230cf4336db3ca57b5596729d61.tar.gz dejagnu-edc6bd72d9c74230cf4336db3ca57b5596729d61.tar.bz2 |
* doc/dejagnu.texi (Global config file): Fix broken @node.
(Local config file): Likewise.
Reported by Faraz Shahbazker.
Diffstat (limited to 'ChangeLog')
-rw-r--r-- | ChangeLog | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -1,3 +1,9 @@ +2016-04-08 Ben Elliston <bje@gnu.org> + + Reported by Faraz Shahbazker. + * doc/dejagnu.texi (Global config file): Fix broken @node. + (Local config file): Likewise. + 2016-04-07 Ben Elliston <bje@gnu.org> * lib/remote.exp (remote_exec): Join cd $remotedir and $program on |