OSDN Git Service

* gdb.texinfo (Maintenance Commands): Add "maint set profile"
authorDaniel Jacobowitz <dan@debian.org>
Wed, 22 Jan 2003 23:50:13 +0000 (23:50 +0000)
committerDaniel Jacobowitz <dan@debian.org>
Wed, 22 Jan 2003 23:50:13 +0000 (23:50 +0000)
commitec485ed09d03afbc75506715780e3b872307e1ad
treee2a2efcfbd4b1badb3d205e0609fac25ae585d2e
parenta591f393159ce059c295d2071d9f6506170599ca
* gdb.texinfo (Maintenance Commands): Add "maint set profile"
and "maint show profile".
gdb/doc/ChangeLog
gdb/doc/gdb.texinfo