diff options
| author |   Paul Vinciguerra <pvinci@vinciconsulting.com> | 2019-10-17 21:08:17 -0400 |
|---|---|---|
| committer |   Andrew Yourtchenko <ayourtch@gmail.com> | 2019-11-05 10:25:43 +0000 |
| commit | 9e20470cb3fa66a3b1fbdb24c6316aee596a02ae (patch) | |
| tree | 13961d6678057b58477ffe19ede1725d05e29b66 /extras | |
| parent | 3d30598b7b4dd6d7dbffc883a96692e90e4320f5 (diff) | |
ip: trivial typos in docs
Type: style
Change-Id: I620f15b96ee5401e0145a139f06d343d7c4fadb4
Signed-off-by: Paul Vinciguerra <pvinci@vinciconsulting.com>
(cherry picked from commit f158944cc4f1bfcc21bed16f5c6f9177734adecd)
Diffstat (limited to 'extras')
0 files changed, 0 insertions, 0 deletions