diff options
| author |   John DeNisco <jdenisco@cisco.com> | 2020-05-29 08:56:38 -0400 |
|---|---|---|
| committer |   Dave Barach <openvpp@barachs.net> | 2020-05-29 13:12:40 +0000 |
| commit | d52820d264b03622221bd6b092c0aeeea8335f23 (patch) | |
| tree | 8322c8959bd46962891484f294c01224bf56b4e0 /build | |
| parent | 2dca180db989ea7afacdf4e70cc85e4408557382 (diff) | |
docs: Minor fixes in publish_docs.sh and sanitizer.rst
Fix a warning in sanitizer.rst and publish_docs.sh
Type: fix
Signed-off-by: John DeNisco <jdenisco@cisco.com>
Change-Id: I66d724f52a7b724a97a894e1cd35c1239aeedcdf
Diffstat (limited to 'build')
0 files changed, 0 insertions, 0 deletions