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 b386df8ed715dc618fe1fa6d186ef575f2eebd80 (commit)
from c9efc45450dd7c1f245799ba4f04a03b85cc6fa9 (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 b386df8ed715dc618fe1fa6d186ef575f2eebd80
Author: Ben Elliston <[EMAIL PROTECTED]>
Date: Mon Apr 7 12:57:24 2008 +1000
* doc/user.xml (Adding a New Tool, Adding a New Target): Fix typos.
* doc/dejagnu.texi: Regenerate.
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 5 +++++
doc/dejagnu.texi | 4 ++--
doc/user.xml | 4 ++--
3 files changed, 9 insertions(+), 4 deletions(-)
hooks/post-receive
--
DejaGNU
_______________________________________________
Dejagnu-commit mailing list
Dejagnu-commit@gnu.org
http://lists.gnu.org/mailman/listinfo/dejagnu-commit
