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 /Makefile.in | |
| parent | e121acc539bcbbe5b9e7ff0786906a0d4e64c0cf (diff) | |
* lib/debugger.exp (dumprocs): Fix proc comment.
Diffstat (limited to 'Makefile.in')
0 files changed, 0 insertions, 0 deletions