projects / platform / upstream / dejagnu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 56448d0) | patch
* lib/utils.exp (prune): Remove proc.
authorBen Elliston <bje@gnu.org>
Sat, 20 Feb 2016 00:49:15 +0000 (11:49 +1100)
committerBen Elliston <bje@gnu.org>
Sat, 20 Feb 2016 00:49:15 +0000 (11:49 +1100)
commit992fbc3a8f03c3cd5e554eea5361f1a531e9e71f
treed34eac0216449a51ff21187107be4856df21106atree | snapshot
parent56448d0134f0583686c01a50c37395bad2e54222commit | diff
* lib/utils.exp (prune): Remove proc.
* doc/ref.xml: Update documentation.
* doc/dejagnu.texi: Regenerate.
ChangeLog diff | blob | history
doc/dejagnu.texi diff | blob | history
doc/ref.xml diff | blob | history
lib/utils.exp diff | blob | history
Domain: System / Toolchain;