diff options
author | Ben Elliston <bje@gnu.org> | 2018-11-30 21:13:24 +1100 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2018-11-30 21:13:24 +1100 |
commit | fd80cd001a35733dc1457c5641984bbe41eeaa19 (patch) | |
tree | a52c38d22544755e9574c806c8307084caf3f915 /ChangeLog | |
parent | 88486ad34305e2b6c9cd7f5e0efa65b709d30587 (diff) | |
download | dejagnu-fd80cd001a35733dc1457c5641984bbe41eeaa19.zip dejagnu-fd80cd001a35733dc1457c5641984bbe41eeaa19.tar.gz dejagnu-fd80cd001a35733dc1457c5641984bbe41eeaa19.tar.bz2 |
* doc/dejagnu.texi: More clean-ups of built-in proc documentation.
Diffstat (limited to 'ChangeLog')
-rw-r--r-- | ChangeLog | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -1,5 +1,9 @@ 2018-11-30 Ben Elliston <bje@gnu.org> + * doc/dejagnu.texi: More clean-ups of built-in proc documentation. + +2018-11-30 Ben Elliston <bje@gnu.org> + * runtest.exp: Use isremote. * lib/target.exp: Likewise. * lib/remote.exp: Likewise. |