* gdb.texinfo: Remove duplicate @syncodeindex. From Brian
authorEli Zaretskii <eliz@gnu.org>
Wed, 24 May 2000 16:20:24 +0000 (16:20 +0000)
committerEli Zaretskii <eliz@gnu.org>
Wed, 24 May 2000 16:20:24 +0000 (16:20 +0000)
commit48e934c6457a834e2cb81c9d58f6e7ea5bbc3634
treee888c07857419be2574313c9444b09bfc0e2cb6b
parentfb48caede320a6314cff339ab026c71a837184d1
* gdb.texinfo: Remove duplicate @syncodeindex.  From Brian
        Youmans.
gdb/doc/ChangeLog
gdb/doc/gdb.texinfo