diff options
author | Tom Tromey <tom@tromey.com> | 2019-11-20 16:07:46 -0700 |
---|---|---|
committer | Tom Tromey <tom@tromey.com> | 2019-12-10 15:56:42 -0700 |
commit | 77bb17b64958ca8ec088e73752a517c88af7cb20 (patch) | |
tree | cded5a4d5784a9089b08538ba23a0ebab033c531 /gdb/features | |
parent | 4c12d936003909cecc63edba0bebe10c6eccae98 (diff) | |
download | gdb-77bb17b64958ca8ec088e73752a517c88af7cb20.zip gdb-77bb17b64958ca8ec088e73752a517c88af7cb20.tar.gz gdb-77bb17b64958ca8ec088e73752a517c88af7cb20.tar.bz2 |
Minor fix to gdb.prompt documentation
I noticed that an example in the gdb.prompt documentation used the
wrong kind of quotes -- because it is code, it should use a plain
ASCII quotation mark. I also slightly shortened the sample text here,
so it would more clearly fit on a single line.
gdb/doc/ChangeLog
2019-12-10 Tom Tromey <tom@tromey.com>
* python.texi (gdb.prompt): Use correct quotes in example.
Shorten sample text.
Change-Id: I4153928c0d88001244ad410f3943c952a6ebfeb1
Diffstat (limited to 'gdb/features')
0 files changed, 0 insertions, 0 deletions