projects / platform / upstream / dejagnu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9b72e26) | patch
* lib/utils.exp (slay): Remove proc.
authorBen Elliston <bje@gnu.org>
Sat, 20 Feb 2016 00:47:11 +0000 (11:47 +1100)
committerBen Elliston <bje@gnu.org>
Sat, 20 Feb 2016 00:47:11 +0000 (11:47 +1100)
commit56448d0134f0583686c01a50c37395bad2e54222
tree10b3eb7419b4fa8742dff5c15a4a18e009783f8dtree | snapshot
parent9b72e26e5f1ce2fb6f087e1c9b95a069c051eb7bcommit | diff
* lib/utils.exp (slay): 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;