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 dfeb344621c7a607be33409acf3702961dee4866 (commit)
from bfc17bec68bc0d72f2b8451fa38b2fa74d839f00 (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 dfeb344621c7a607be33409acf3702961dee4866
Author: Ben Elliston <b...@gnu.org>
Date: Sat May 23 21:18:11 2015 +1000
* doc/dejagnu.xml: Fix broken URLs.
* doc/dejagnu.texi: Regenerate.
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 5 +++++
doc/dejagnu.texi | 20 ++++++++++----------
doc/dejagnu.xml | 9 ++++-----
3 files changed, 19 insertions(+), 15 deletions(-)
hooks/post-receive
--
DejaGNU
_______________________________________________
Dejagnu-commit mailing list
Dejagnu-commit@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu-commit
