diff options
author | Doug Evans <dje@google.com> | 2011-10-16 19:54:33 +0000 |
---|---|---|
committer | Doug Evans <dje@google.com> | 2011-10-16 19:54:33 +0000 |
commit | 7d0aff216960aa0b465f966fc15f41265c04a033 (patch) | |
tree | 68d4626008d31a090f4e7026b7926a5cd97e329a | |
parent | 32d1c362a621b3f4bc996f57dffafbdf3397518b (diff) | |
download | gdb-7d0aff216960aa0b465f966fc15f41265c04a033.zip gdb-7d0aff216960aa0b465f966fc15f41265c04a033.tar.gz gdb-7d0aff216960aa0b465f966fc15f41265c04a033.tar.bz2 |
Add comma after "If True" to previous checkin.
-rw-r--r-- | gdb/NEWS | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -16,7 +16,7 @@ * Python scripting ** The register_pretty_printer function in module gdb.printing now takes - an optional `replace' argument. If True the new printer replaces any + an optional `replace' argument. If True, the new printer replaces any existing one. ** The "maint set python print-stack on|off" command has been |