Delete obsolete text (which was @ignore'd since July).
authorRoland Pesch <pesch@cygnus>
Fri, 1 Oct 1993 02:13:16 +0000 (02:13 +0000)
committerRoland Pesch <pesch@cygnus>
Fri, 1 Oct 1993 02:13:16 +0000 (02:13 +0000)
commit744ce7830b3f29c38bf480ab213be8ef1509e9cd
tree189ac136e3a0d04529b533289ee359c750391fbb
parent6b51acad7e1a828d2b5b207b1fe8a576a00fd98e
Delete obsolete text (which was @ignore'd since July).
gdb/doc/gdb.texinfo