* python/lib/gdb/printing.py (register_pretty_printer): Change
printer-name:subprinter-name to printer-name;subprinter-name.
* python/lib/gdb/command/pretty_printers.py (parse_printer_regexps):
Ditto.
(InfoPrettyPrinter, EnablePrettyPrinter, DisablePrettyPrinter): Ditto.
doc/
* gdb.texinfo (Pretty-Printer Introduction): Change
printer-name:subprinter-name to printer-name;subprinter-name.
testsuite/
* gdb.python/py-pp-maint.exp: Change printer-name:subprinter-name to
printer-name;subprinter-name.
This page took 0.025487 seconds and 4 git commands to generate.