diff options
| author | Ben Elliston <bje@gnu.org> | 2018-11-30 21:30:57 +1100 |
|---|---|---|
| committer | Ben Elliston <bje@gnu.org> | 2018-11-30 21:30:57 +1100 |
| commit | e804244b042aa96b57dce3234f14114a9a441aac (patch) | |
| tree | e46f46d7d9526a9f29180784d18697ca5c2e21fd /ChangeLog | |
| parent | fd80cd001a35733dc1457c5641984bbe41eeaa19 (diff) | |
| download | dejagnu-e804244b042aa96b57dce3234f14114a9a441aac.zip dejagnu-e804244b042aa96b57dce3234f14114a9a441aac.tar.gz dejagnu-e804244b042aa96b57dce3234f14114a9a441aac.tar.bz2 | |
* doc/dejagnu.texi: (verbose procedure): Improve documentation.
(load_lib procedure): Likewise.
Diffstat (limited to 'ChangeLog')
| -rw-r--r-- | ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -1,5 +1,10 @@ 2018-11-30 Ben Elliston <bje@gnu.org> + * doc/dejagnu.texi: (verbose procedure): Improve documentation. + (load_lib procedure): Likewise. + +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> |