diff options
author | Ben Elliston <bje@gnu.org> | 2006-06-06 04:52:34 +0000 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2006-06-06 04:52:34 +0000 |
commit | b28393f2b149953f30549936f4e73dfea0249a12 (patch) | |
tree | 40886c4a8bdbdc8867906129995ba2914d786b23 /dejagnu.h | |
parent | 6f4dea39dd05ed356cac0501c88d44a83cffb2ff (diff) | |
download | dejagnu-b28393f2b149953f30549936f4e73dfea0249a12.zip dejagnu-b28393f2b149953f30549936f4e73dfea0249a12.tar.gz dejagnu-b28393f2b149953f30549936f4e73dfea0249a12.tar.bz2 |
* doc/dejagnu.xml, doc/ref.xml, doc/user.xml: Edits.
* doc/dejagnu.texi: Regenerate.
Diffstat (limited to 'dejagnu.h')
0 files changed, 0 insertions, 0 deletions