diff options
| author |   Paul Vinciguerra <pvinci@vinciconsulting.com> | 2019-10-27 14:00:53 -0400 |
|---|---|---|
| committer |   Andrew Yourtchenko <ayourtch@gmail.com> | 2019-11-05 10:31:00 +0000 |
| commit | 5cd73e6d927d45d6129b04ad07b8e6623da83e47 (patch) | |
| tree | 2e57531b8a72f9a7d27ec26a9be16139696c7ef3 /.gitignore | |
| parent | 9e20470cb3fa66a3b1fbdb24c6316aee596a02ae (diff) | |
vlib: unix trivial- clean up typos in docs
seen while reading through the code.
Type: style
Change-Id: I7a2f021b9f06d0eebb2ea3d0cafb6955ccb14781
Signed-off-by: Paul Vinciguerra <pvinci@vinciconsulting.com>
(cherry picked from commit d29422cbeeefb58d0213b295b35d04a673b380e7)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions