(History) Rename "Command History".
authorNick Roberts <nickrob@snap.net.nz>
Wed, 22 Jun 2005 06:20:00 +0000 (06:20 +0000)
committerNick Roberts <nickrob@snap.net.nz>
Wed, 22 Jun 2005 06:20:00 +0000 (06:20 +0000)
commitd620b259fbefdd733a3d6d4708005c4377f0bf59
treee1bf03ed74396a1eaa5d138f007683edd983d3fc
parentd1b6db76f052bf11333568276cf426484e812302
(History) Rename "Command History".
(Command History): Move node "Server Prefix" from section on
Annotations here.
gdb/doc/gdb.texinfo