* gdb.texinfo (Writing a Pretty-Printer): Use append method, not
authorTom Tromey <tromey@redhat.com>
Thu, 1 Dec 2011 20:27:28 +0000 (20:27 +0000)
committerTom Tromey <tromey@redhat.com>
Thu, 1 Dec 2011 20:27:28 +0000 (20:27 +0000)
commitae6f0d5b5a3ed963c92fdcd44e54ee76026f75d5
tree61932a7ab2364ca55fa4a9617f07ee6bc5f55bcc
parent810e69868440cdc8f2052c90fc30c3be71075899
* gdb.texinfo (Writing a Pretty-Printer): Use append method, not
add.
gdb/doc/ChangeLog
gdb/doc/gdb.texinfo