* gdb.texinfo (gdb.printing): Document new `replace' arg to
authorDoug Evans <dje@google.com>
Fri, 7 Oct 2011 23:01:54 +0000 (23:01 +0000)
committerDoug Evans <dje@google.com>
Fri, 7 Oct 2011 23:01:54 +0000 (23:01 +0000)
commit9c15afc467bfda43425d9d7f024168534b44396c
treeaeeee36562dc2779ee4d9920468ae43aff1e0dce
parent1d5548f8de5f0b5e658b9b3a0b64dc5f7b602098
* gdb.texinfo (gdb.printing): Document new `replace' arg to
register_pretty_printer.
gdb/doc/ChangeLog
gdb/doc/gdb.texinfo