diff options
| author | John Gilmore <gnu@cygnus> | 1992-10-21 08:11:38 +0000 |
|---|---|---|
| committer | John Gilmore <gnu@cygnus> | 1992-10-21 08:11:38 +0000 |
| commit | b517f124017225c6cb0a5b815bd1574a9617aa57 (patch) | |
| tree | 4ba0ba81c633c2bceb8e410558e3d04b74635415 /configure.man | |
| parent | e0e9107774b2ca7530f85c158d2450e7ab86f551 (diff) | |
| download | gdb-b517f124017225c6cb0a5b815bd1574a9617aa57.zip gdb-b517f124017225c6cb0a5b815bd1574a9617aa57.tar.gz gdb-b517f124017225c6cb0a5b815bd1574a9617aa57.tar.bz2 | |
* doc/gdbint.texinfo: Document obsolete STACK_END_ADDR.
(all @node commands): Use new form to avoid nitpicking errors.
Diffstat (limited to 'configure.man')
0 files changed, 0 insertions, 0 deletions