* lib/utils.exp (diff): Remove proc.
authorBen Elliston <bje@gnu.org>
Mon, 14 Mar 2016 22:26:31 +0000 (09:26 +1100)
committerBen Elliston <bje@gnu.org>
Mon, 14 Mar 2016 22:26:55 +0000 (09:26 +1100)
commit4d344f712298364c836038b641625b3407db2fc3
tree92d61434b84caad34d65967f46ceedddc7fe34a3
parent7e0630a1b2e585ee7f91d890dd5d5c04b00f2eff
* lib/utils.exp (diff): Remove proc.
* doc/ref.xml: Update documentation.
* doc/dejagnu.texi: Regenerate.
* NEWS: Update.
ChangeLog
NEWS
doc/dejagnu.texi
doc/ref.xml
lib/utils.exp