projects / platform / upstream / dejagnu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9d54ead) | patch
* lib/remote.exp (local_exec): Improve comments.
authorBen Elliston <bje@gnu.org>
Sun, 14 Feb 2016 11:23:00 +0000 (22:23 +1100)
committerBen Elliston <bje@gnu.org>
Sun, 14 Feb 2016 11:23:00 +0000 (22:23 +1100)
commit07ea68ac3d2c51a1066a6b832f3a921738f01324
tree3f446032b2affa904f6b8fc2f5bc31f6d3ee6b74tree | snapshot
parent9d54ead2689ec19e20530792a0b978894ee26500commit | diff
* lib/remote.exp (local_exec): Improve comments.
ChangeLog diff | blob | history
lib/remote.exp diff | blob | history
Domain: System / Toolchain;