Fix punctuation error in node Disabling, spotted by gnu.
authorRoland Pesch <pesch@cygnus>
Fri, 6 Mar 1992 20:05:04 +0000 (20:05 +0000)
committerRoland Pesch <pesch@cygnus>
Fri, 6 Mar 1992 20:05:04 +0000 (20:05 +0000)
commit98fe45668d6ea0c1d872fbe8b34665956cd88571
treeca3df0e6677a41856a08e8d73e92fd4cf5c1b8c0
parent73e44aafe150d214b75771e978454a6d9835fe83
Fix punctuation error in node Disabling, spotted by gnu.
gdb/doc/gdb-all.texi
gdb/doc/gdb.texinfo