[Dejagnu-commit] [SCM] DejaGNU branch, master, updated. dejagnu_1_4_3-560-ge804244

[Ben Elliston]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "DejaGNU".

The branch, master has been updated
       via  e804244b042aa96b57dce3234f14114a9a441aac (commit)
       via  fd80cd001a35733dc1457c5641984bbe41eeaa19 (commit)
      from  88486ad34305e2b6c9cd7f5e0efa65b709d30587 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit e804244b042aa96b57dce3234f14114a9a441aac
Author: Ben Elliston <address@hidden>
Date:   Fri Nov 30 21:30:57 2018 +1100

        * doc/dejagnu.texi: (verbose procedure): Improve documentation.
        (load_lib procedure): Likewise.

commit fd80cd001a35733dc1457c5641984bbe41eeaa19
Author: Ben Elliston <address@hidden>
Date:   Fri Nov 30 21:13:24 2018 +1100

        * doc/dejagnu.texi: More clean-ups of built-in proc documentation.

-----------------------------------------------------------------------

Summary of changes:
 ChangeLog        |   9 +++
 doc/dejagnu.texi | 184 +++++++++++++++++++++----------------------------------
 2 files changed, 79 insertions(+), 114 deletions(-)


hooks/post-receive
-- 
DejaGNU