diff options
| author |   Paul Vinciguerra <pvinci@vinciconsulting.com> | 2019-10-26 19:34:40 -0400 |
|---|---|---|
| committer |   Andrew Yourtchenko <ayourtch@gmail.com> | 2019-11-05 10:39:15 +0000 |
| commit | 0700f3c50e88fe7be55c04c24cb56e4dfe0b10ec (patch) | |
| tree | dd8ec6aabcfbb6e9559bd11e1ccd4e99cec52e62 /extras/gdb | |
| parent | eaec04895edb90eb097b1f01481edf79ff03d42d (diff) | |
ip: cleanup typos in documentation
Type: style
Change-Id: I7d44b7fab1b8b196e4934cb4832ee51084c5bf98
Signed-off-by: Paul Vinciguerra <pvinci@vinciconsulting.com>
(cherry picked from commit 5b755e2f9fce239b5280ac1e5e21f835464fa017)
Diffstat (limited to 'extras/gdb')
0 files changed, 0 insertions, 0 deletions