diff options
author | Ben Elliston <bje@gnu.org> | 2011-12-30 15:09:57 +1100 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2011-12-30 15:09:57 +1100 |
commit | 4229b21f72c0f438768dacb0c19f891d5054776e (patch) | |
tree | a5b8f258128cc9254c3ccb06e7fc2181dce9ed4e /runtest | |
parent | 149da74c2eb207e3d8c5b2a874eefcd5d62dc730 (diff) | |
download | dejagnu-4229b21f72c0f438768dacb0c19f891d5054776e.zip dejagnu-4229b21f72c0f438768dacb0c19f891d5054776e.tar.gz dejagnu-4229b21f72c0f438768dacb0c19f891d5054776e.tar.bz2 |
* doc/user.xml: Various spelling and consistency fixes.
* doc/ref.xml: Likewise.
(exit_remote_shell): Remove, as this procedure is defunct.
* doc/dejagnu.texi: Regenerate.
Diffstat (limited to 'runtest')
0 files changed, 0 insertions, 0 deletions