diff options
| author | Daniel Jacobowitz <dan@debian.org> | 2003-01-22 23:50:13 +0000 |
|---|---|---|
| committer | Daniel Jacobowitz <dan@debian.org> | 2003-01-22 23:50:13 +0000 |
| commit | ec485ed09d03afbc75506715780e3b872307e1ad (patch) | |
| tree | e2a2efcfbd4b1badb3d205e0609fac25ae585d2e /gdb/configure.in | |
| parent | a591f393159ce059c295d2071d9f6506170599ca (diff) | |
| download | gdb-ec485ed09d03afbc75506715780e3b872307e1ad.tar.gz | |
* gdb.texinfo (Maintenance Commands): Add "maint set profile"
and "maint show profile".
Diffstat (limited to 'gdb/configure.in')
0 files changed, 0 insertions, 0 deletions