diff options
| author |   Dave Barach <dave@barachs.net> | 2020-04-02 10:44:09 -0400 |
|---|---|---|
| committer |   Florin Coras <florin.coras@gmail.com> | 2020-04-02 16:08:13 +0000 |
| commit | c35f3e835b4078fedabc1ff5013bc4727f533e16 (patch) | |
| tree | b2b74b07ffe8aceef372b50fd099ef6fb3a240e6 /docs/Makefile | |
| parent | 999840cf805f26a490e8e6b8acc1fe7a7c21a181 (diff) | |
misc: fix static analysis warnings
One actual bugfix.
Type: fix
Ticket: VPP-1837
Signed-off-by: Dave Barach <dave@barachs.net>
Change-Id: Icef25167f97a70cc795c0a481174de319ed79ad5
Diffstat (limited to 'docs/Makefile')
0 files changed, 0 insertions, 0 deletions