diff options
| author | Ben Elliston <bje@gnu.org> | 2011-03-14 18:02:36 +1100 |
|---|---|---|
| committer | Ben Elliston <bje@gnu.org> | 2011-03-14 18:02:36 +1100 |
| commit | bb9877bf6670172454b3874f2a10e5f331ffa2e4 (patch) | |
| tree | a5f93aadbeffb403636d2bcb9d5554400f15b97d /lib | |
| parent | 0d8a42bc09eed10b1774906fec50a0ba717cd640 (diff) | |
| download | dejagnu-bb9877bf6670172454b3874f2a10e5f331ffa2e4.zip dejagnu-bb9877bf6670172454b3874f2a10e5f331ffa2e4.tar.gz dejagnu-bb9877bf6670172454b3874f2a10e5f331ffa2e4.tar.bz2 | |
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.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions