* gdbint.texinfo: Remove extraneous START-INFO-DIR-ENTRY
authorDaniel Jacobowitz <drow@false.org>
Tue, 31 Jul 2001 17:25:57 +0000 (17:25 +0000)
committerDaniel Jacobowitz <drow@false.org>
Tue, 31 Jul 2001 17:25:57 +0000 (17:25 +0000)
commitbecb108f587053664fcfe553e40337f94348ef17
treebd177a6621716da73430872f3a2b33076d85ea61
parent51f0a7e9326f0b61f5deaf0c1dba9ba01d0ef25d
    * gdbint.texinfo: Remove extraneous START-INFO-DIR-ENTRY
        and END-INFO-DIR-ENTRY.
gdb/doc/ChangeLog
gdb/doc/gdbint.texinfo