diff options
| author |   Paul Vinciguerra <pvinci@vinciconsulting.com> | 2019-10-26 19:34:40 -0400 |
|---|---|---|
| committer |   Dave Wallace <dwallacelf@gmail.com> | 2019-10-30 19:55:41 +0000 |
| commit | 5b755e2f9fce239b5280ac1e5e21f835464fa017 (patch) | |
| tree | 29463055a8ee5b6c078562461d4ddd41f4e5321b /src/tools | |
| parent | b1a81aa67942aa1b5a97a4199310c9ffeaab1f5f (diff) | |
ip: cleanup typos in documentation
Type: style
Change-Id: I7d44b7fab1b8b196e4934cb4832ee51084c5bf98
Signed-off-by: Paul Vinciguerra <pvinci@vinciconsulting.com>
Diffstat (limited to 'src/tools')
0 files changed, 0 insertions, 0 deletions