OSDN Git Service

* gdbint.texinfo: Bring the HTML `top' menu into sync with the
authorJim Blandy <jimb@codesourcery.com>
Tue, 28 Aug 2001 22:49:55 +0000 (22:49 +0000)
committerJim Blandy <jimb@codesourcery.com>
Tue, 28 Aug 2001 22:49:55 +0000 (22:49 +0000)
commit069862872a32eecd830f8236843c6f1d9683c265
tree2195f131f1619d2de7ff6f782f3200a28b4ac6d4
parentbf94783474b45c64f909657e532e731c6efb5e9e
* gdbint.texinfo: Bring the HTML `top' menu into sync with the
info `top' menu.
gdb/doc/gdb.texinfo