projects / platform / upstream / dejagnu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dc00d17) | patch
* lib/utils.exp (psource): Remove proc.
authorBen Elliston <bje@gnu.org>
Sat, 20 Feb 2016 00:41:38 +0000 (11:41 +1100)
committerBen Elliston <bje@gnu.org>
Sat, 20 Feb 2016 00:41:38 +0000 (11:41 +1100)
commit312891d5f1d7ea719e1ebd76a7b3eb20e958a6b6
treefa6a71f532c03a095da3fd3fbb4697d5aca760d9tree | snapshot
parentdc00d1723a2ee181dc93fe0ce6f1320c226d83fccommit | diff
* lib/utils.exp (psource): 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;