* gdbint.texinfo: Remove extraneous START-INFO-DIR-ENTRY
authorDaniel Jacobowitz <drow@false.org>
Tue, 31 Jul 2001 17:30:56 +0000 (17:30 +0000)
committerDaniel Jacobowitz <drow@false.org>
Tue, 31 Jul 2001 17:30:56 +0000 (17:30 +0000)
commit1129bf27e5c6f814dd7f23f2899b19ae65685d38
tree7622a763d7d26f00c24ca8a831dbe82ce8733c03
parent594ef5dbd24189c126adbce7f3ea91e0a5fa64d9
    * gdbint.texinfo: Remove extraneous START-INFO-DIR-ENTRY
        and END-INFO-DIR-ENTRY.
gdb/doc/ChangeLog
gdb/doc/gdbint.texinfo