projects / platform / upstream / dejagnu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0d8a42b) | patch
Reported by Flash Sheridan <flash@pobox.com>:
authorBen Elliston <bje@gnu.org>
Mon, 14 Mar 2011 07:02:36 +0000 (18:02 +1100)
committerBen Elliston <bje@gnu.org>
Mon, 14 Mar 2011 07:02:36 +0000 (18:02 +1100)
commitbb9877bf6670172454b3874f2a10e5f331ffa2e4
treea5f93aadbeffb403636d2bcb9d5554400f15b97dtree | snapshot
parent0d8a42bc09eed10b1774906fec50a0ba717cd640commit | diff
Reported by Flash Sheridan <flash@pobox.com>:
* doc/user.xml (Testing "Hello world" locally): Improve the
example test script and make it robust to failures.  Tidy some
formatting errors.
* doc/dejagnu.texi: Regenerate.
ChangeLog diff | blob | history
doc/dejagnu.texi diff | blob | history
doc/user.xml diff | blob | history
Domain: System / Toolchain;