diff options
| author |   Florin Coras <fcoras@cisco.com> | 2019-11-12 21:47:41 -0800 |
|---|---|---|
| committer |   Dave Barach <openvpp@barachs.net> | 2019-11-13 12:51:07 +0000 |
| commit | 069e2a734cf75f4d151efe49d1efc51bc82cedb2 (patch) | |
| tree | d1a97d6caf59ed6dbd6248149c8ddee3aab08fee /src/tools | |
| parent | 6af62565e34f90fc0f9811c14753996a2d14ab16 (diff) | |
build: fix make checkstyle
Type: fix
Comment out yamllint for now.
Change-Id: Id40a5aef3fa15b2c6e9d7fe6fd6201923593b4cd
Signed-off-by: Florin Coras <fcoras@cisco.com>
Diffstat (limited to 'src/tools')
0 files changed, 0 insertions, 0 deletions