diff options
| author | Ben Elliston <bje@gnu.org> | 2008-04-07 21:52:11 +1000 |
|---|---|---|
| committer | Ben Elliston <bje@gnu.org> | 2008-04-07 21:52:11 +1000 |
| commit | 51e1e81c33a54868d207b923c283faddeacc5146 (patch) | |
| tree | 6e1df704f0acf3f183d887225a9be2afb2ed03fb /config | |
| parent | a4e78e8d2942b5ab96d55c2392e469b84a9a4217 (diff) | |
| download | dejagnu-origin/dejagnu-1.5.0.zip dejagnu-origin/dejagnu-1.5.0.tar.gz dejagnu-origin/dejagnu-1.5.0.tar.bz2 | |
* doc/ref.xml, doc/user.xml: Fix typos.origin/dejagnu-1.5.0
* doc/dejagnu.texi: Regenerate.
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions