projects / platform / upstream / dejagnu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3637775) | patch
* lib/utils.exp (prune): Restore this proc.
authorBen Elliston <bje@gnu.org>
Wed, 24 Feb 2016 04:04:57 +0000 (15:04 +1100)
committerBen Elliston <bje@gnu.org>
Wed, 24 Feb 2016 04:04:57 +0000 (15:04 +1100)
commitbd8216f07a5a53ac3aa00d547abed9bafc8d6ddd
tree0a868bad50273b628572a49743fca5ca321a9b76tree | snapshot
parent3637775afa01ab249ad400102c152586307d94f2commit | diff
* lib/utils.exp (prune): Restore this proc.
* doc/ref.xml: Update documentation.
* doc/dejagnu.texi: Regenerate.
* NEWS: Update.

This reverts commit 992fbc3a8f03c3cd5e554eea5361f1a531e9e71f.
ChangeLog diff | blob | history
NEWS diff | blob | history
doc/dejagnu.texi diff | blob | history
doc/ref.xml diff | blob | history
lib/utils.exp diff | blob | history
Domain: System / Toolchain;