diff options
author | Ben Elliston <bje@gnu.org> | 2018-12-04 20:17:56 +1100 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2018-12-04 20:17:56 +1100 |
commit | e121acc539bcbbe5b9e7ff0786906a0d4e64c0cf (patch) | |
tree | 679dd3435465dab967e7dbf50c3430287c83b414 /lib | |
parent | 7ff5e4a5af4534b3bdf4539aa22017c6089513cd (diff) | |
download | dejagnu-e121acc539bcbbe5b9e7ff0786906a0d4e64c0cf.zip dejagnu-e121acc539bcbbe5b9e7ff0786906a0d4e64c0cf.tar.gz dejagnu-e121acc539bcbbe5b9e7ff0786906a0d4e64c0cf.tar.bz2 |
* doc/dejagnu.texi (Utility Procedures): Improve documentation for
the procedures in this section.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions