* gdb.texinfo (Process Record and Replay): Improve and clarify.
authorEli Zaretskii <eliz@gnu.org>
Fri, 1 May 2009 09:11:25 +0000 (09:11 +0000)
committerEli Zaretskii <eliz@gnu.org>
Fri, 1 May 2009 09:11:25 +0000 (09:11 +0000)
commita2311334f707ca8a11737e5c31d016a2944c85d3
treed8709368fcd96b3f29c35f79bcb272de2e8a0689
parent89c9c2eca0353829ac9bf8999299ff1227c28deb
* gdb.texinfo (Process Record and Replay): Improve and clarify.
Add index entries.
gdb/doc/ChangeLog
gdb/doc/gdb.texinfo