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 73a9a52f3f5f4b2bf4d74a29a4150fb85e8c4150 (commit)
from be2257674498a97bd600af4f3634bf3275679246 (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 73a9a52f3f5f4b2bf4d74a29a4150fb85e8c4150
Author: Jacob Bachmeyer <jcb62...@gmail.com>
Date: Wed Jan 23 17:47:45 2019 +1100
* doc/dejagnu.texi (Command line option variables): Improve table
formatting to fix overlapping columns and revise text slightly.
Signed-off-by: Ben Elliston <b...@gnu.org>
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 5 +++++
doc/dejagnu.texi | 27 ++++++++-------------------
2 files changed, 13 insertions(+), 19 deletions(-)
hooks/post-receive
--
DejaGNU
_______________________________________________
Dejagnu-commit mailing list
Dejagnu-commit@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu-commit
