* gdb.texinfo (GDB/MI Output Records): Add
authorVladimir Prus <vladimir@codesourcery.com>
Sun, 4 May 2008 09:30:53 +0000 (09:30 +0000)
committerVladimir Prus <vladimir@codesourcery.com>
Sun, 4 May 2008 09:30:53 +0000 (09:30 +0000)
commit8eb415422a872f4f2fa3377a11f5de490721d195
tree4bc102133e16541efc313cf4981f5c31a67615e3
parentc47ffbe3b159da69fcc66cb7ad3a69077641b384
* gdb.texinfo (GDB/MI Output Records): Add
missing semicolon.
gdb/doc/ChangeLog
gdb/doc/gdb.texinfo