diff options
author | Ben Elliston <bje@gnu.org> | 2018-12-04 21:46:14 +1100 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2018-12-04 21:46:14 +1100 |
commit | 96c99ce8ec6ff39863e70b0b312611886fd85976 (patch) | |
tree | f433826a932ad24fc945f53ee39edd7b452e20a8 /baseboards | |
parent | e121acc539bcbbe5b9e7ff0786906a0d4e64c0cf (diff) |
* lib/debugger.exp (dumprocs): Fix proc comment.
Diffstat (limited to 'baseboards')
0 files changed, 0 insertions, 0 deletions