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 e121acc539bcbbe5b9e7ff0786906a0d4e64c0cf (commit)
via 7ff5e4a5af4534b3bdf4539aa22017c6089513cd (commit)
from 303132d4f11e34679d884e1a380948f2e42faf85 (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 e121acc539bcbbe5b9e7ff0786906a0d4e64c0cf
Author: Ben Elliston <b...@gnu.org>
Date: Tue Dec 4 20:17:56 2018 +1100
* doc/dejagnu.texi (Utility Procedures): Improve documentation for
the procedures in this section.
commit 7ff5e4a5af4534b3bdf4539aa22017c6089513cd
Author: Ben Elliston <b...@gnu.org>
Date: Tue Dec 4 20:06:56 2018 +1100
Add an item for grep -n.
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 5 +++
TODO | 7 +++
doc/dejagnu.texi | 130 ++++++++++++++++++++++---------------------------------
3 files changed, 64 insertions(+), 78 deletions(-)
hooks/post-receive
--
DejaGNU
_______________________________________________
Dejagnu-commit mailing list
Dejagnu-commit@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu-commit
