diff options
author | Ben Elliston <bje@gnu.org> | 2016-02-20 11:44:30 +1100 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2016-02-20 11:44:30 +1100 |
commit | 9b72e26e5f1ce2fb6f087e1c9b95a069c051eb7b (patch) | |
tree | b9dc66baf3db7104ade00feb199c1990a20a26a6 /ChangeLog | |
parent | 312891d5f1d7ea719e1ebd76a7b3eb20e958a6b6 (diff) | |
download | dejagnu-9b72e26e5f1ce2fb6f087e1c9b95a069c051eb7b.zip dejagnu-9b72e26e5f1ce2fb6f087e1c9b95a069c051eb7b.tar.gz dejagnu-9b72e26e5f1ce2fb6f087e1c9b95a069c051eb7b.tar.bz2 |
* lib/utils.exp (absolute): Remove proc.
* doc/ref.xml: Update documentation.
* doc/dejagnu.texi: Regenerate.
Diffstat (limited to 'ChangeLog')
-rw-r--r-- | ChangeLog | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -1,5 +1,11 @@ 2016-02-20 Ben Elliston <bje@gnu.org> + * lib/utils.exp (absolute): Remove proc. + * doc/ref.xml: Update documentation. + * doc/dejagnu.texi: Regenerate. + +2016-02-20 Ben Elliston <bje@gnu.org> + * lib/utils.exp (psource): Remove proc. * doc/ref.xml: Update documentation. * doc/dejagnu.texi: Regenerate. |