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, dejagnu-1.5.0 has been updated
via 51e1e81c33a54868d207b923c283faddeacc5146 (commit)
from a4e78e8d2942b5ab96d55c2392e469b84a9a4217 (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 51e1e81c33a54868d207b923c283faddeacc5146
Author: Ben Elliston <[EMAIL PROTECTED]>
Date: Mon Apr 7 21:52:11 2008 +1000
* doc/ref.xml, doc/user.xml: Fix typos.
* doc/dejagnu.texi: Regenerate.
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 5 +++
doc/dejagnu.texi | 96 +++++++++++++++++++++++++++---------------------------
doc/ref.xml | 40 +++++++++++-----------
doc/user.xml | 42 ++++++++++++------------
4 files changed, 94 insertions(+), 89 deletions(-)
hooks/post-receive
--
DejaGNU
_______________________________________________
Dejagnu-commit mailing list
Dejagnu-commit@gnu.org
http://lists.gnu.org/mailman/listinfo/dejagnu-commit
