projects / platform / upstream / dejagnu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 73a1387) | patch
* doc/dejagnu.texi (getdirs procedure): Improve documentation
authorBen Elliston <bje@gnu.org>
Thu, 22 Nov 2018 22:35:30 +0000 (09:35 +1100)
committerBen Elliston <bje@gnu.org>
Thu, 22 Nov 2018 22:35:30 +0000 (09:35 +1100)
commit389f38092652944c9057bf8965cf2f5ff24c2269
tree1f789a4bac2795053427549e9cd09bdab1baad1ftree | snapshot
parent73a138783acb52eb30ad0df731dc390170d803adcommit | diff
* doc/dejagnu.texi (getdirs procedure): Improve documentation
including documenting the -all option.
(find procedure): Fix a typo.
* lib/utils.exp (getdirs): Improve comments.
ChangeLog diff | blob | history
doc/dejagnu.texi diff | blob | history
lib/utils.exp diff | blob | history
Domain: System / Toolchain;