* gdb.texinfo (Python API): Add descriptions to @menu items.
authorTom Tromey <tromey@redhat.com>
Fri, 7 Jan 2011 15:47:21 +0000 (15:47 +0000)
committerTom Tromey <tromey@redhat.com>
Fri, 7 Jan 2011 15:47:21 +0000 (15:47 +0000)
commit06e65f441499bad232064278c41555db0dfd7a01
tree97ac1b8ba47d68ede56b1b56edcec890f6980ad4
parent7be867377db57e62bc2dc7f0756b484bdac30fda
* gdb.texinfo (Python API): Add descriptions to @menu items.
gdb/doc/ChangeLog
gdb/doc/gdb.texinfo