projects / platform / upstream / dejagnu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 149da74) | patch
* doc/user.xml: Various spelling and consistency fixes.
authorBen Elliston <bje@gnu.org>
Fri, 30 Dec 2011 04:09:57 +0000 (15:09 +1100)
committerBen Elliston <bje@gnu.org>
Fri, 30 Dec 2011 04:09:57 +0000 (15:09 +1100)
commit4229b21f72c0f438768dacb0c19f891d5054776e
treea5b8f258128cc9254c3ccb06e7fc2181dce9ed4etree | snapshot
parent149da74c2eb207e3d8c5b2a874eefcd5d62dc730commit | diff
* 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.
ChangeLog diff | blob | history
doc/dejagnu.texi diff | blob | history
doc/ref.xml diff | blob | history
doc/user.xml diff | blob | history
Domain: System / Toolchain;