diff options
author | Ben Elliston <bje@gnu.org> | 2007-09-04 10:35:19 +0000 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2007-09-04 10:35:19 +0000 |
commit | 6404fe23bb97cb57dea84b20c9da7fed9764990e (patch) | |
tree | bfc1aa6ce6771a4f81a338363ce86ecef908002a /lib | |
parent | 3f39294f5cd6802858838d3bcc0ccce847ae17f2 (diff) | |
download | dejagnu-6404fe23bb97cb57dea84b20c9da7fed9764990e.zip dejagnu-6404fe23bb97cb57dea84b20c9da7fed9764990e.tar.gz dejagnu-6404fe23bb97cb57dea84b20c9da7fed9764990e.tar.bz2 |
* doc/user.xml (Configuration): Fix typos.
* doc/dejagnu.texi: Regenerate.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions