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 3e48e41582a059339540d962e77a5eb3cc48b265 (commit)
via fcb5cf517ff6723399d9ec00503190ae25bdc617 (commit)
via 520f7493f69e4fbcd7a4fc55a0bed29d7922adf9 (commit)
via a340a5b44eb49b412f0f5e235c1769e77605a7b2 (commit)
from fdf0a41ee03d8deb725407cacff3ae78c04d0558 (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 3e48e41582a059339540d962e77a5eb3cc48b265
Author: Bernhard Reutner-Fischer <al...@gcc.gnu.org>
Date: Sat Jun 15 21:31:00 2013 +1000
* doc/user.xml: Fix typos.
* doc/ref.xml: Likewise.
* doc/dejagnu.texi: Regenerate.
Signed-off-by: Ben Elliston <b...@gnu.org>
commit fcb5cf517ff6723399d9ec00503190ae25bdc617
Author: Bernhard Reutner-Fischer <al...@gcc.gnu.org>
Date: Sat Jun 15 21:28:34 2013 +1000
* doc/user.xml: Fix number of columns in table.
* doc/dejagnu.texi: Regenerate.
Signed-off-by: Ben Elliston <b...@gnu.org>
commit 520f7493f69e4fbcd7a4fc55a0bed29d7922adf9
Author: Bernhard Reutner-Fischer <al...@gcc.gnu.org>
Date: Sat Jun 15 21:27:29 2013 +1000
* doc/user.xml: Fix rendering errors around programlisting.
* doc/ref.xml: Likewise.
* doc/dejagnu.texi: Regenerate.
Signed-off-by: Ben Elliston <b...@gnu.org>
commit a340a5b44eb49b412f0f5e235c1769e77605a7b2
Author: Bernhard Reutner-Fischer <al...@gcc.gnu.org>
Date: Sat Jun 15 21:25:01 2013 +1000
* doc/user.xml: Fix spacing before productname.
* doc/dejagnu.texi: Regenerate.
Signed-off-by: Ben Elliston <b...@gnu.org>
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 22 +++++++++++++++
doc/dejagnu.texi | 77 +++++++++++++++++++++++------------------------------
doc/ref.xml | 18 +++++++-----
doc/user.xml | 47 ++++++++++++++++-----------------
4 files changed, 89 insertions(+), 75 deletions(-)
hooks/post-receive
--
DejaGNU
_______________________________________________
Dejagnu-commit mailing list
Dejagnu-commit@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu-commit
