diff options
author | Ben Elliston <bje@gnu.org> | 2016-02-20 11:41:38 +1100 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2016-02-20 11:41:38 +1100 |
commit | 312891d5f1d7ea719e1ebd76a7b3eb20e958a6b6 (patch) | |
tree | fa6a71f532c03a095da3fd3fbb4697d5aca760d9 /configure | |
parent | dc00d1723a2ee181dc93fe0ce6f1320c226d83fc (diff) | |
download | dejagnu-312891d5f1d7ea719e1ebd76a7b3eb20e958a6b6.zip dejagnu-312891d5f1d7ea719e1ebd76a7b3eb20e958a6b6.tar.gz dejagnu-312891d5f1d7ea719e1ebd76a7b3eb20e958a6b6.tar.bz2 |
* lib/utils.exp (psource): Remove proc.
* doc/ref.xml: Update documentation.
* doc/dejagnu.texi: Regenerate.
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions