diff options
author | Ed Warnicke <hagbard@gmail.com> | 2016-11-22 17:48:13 +0000 |
---|---|---|
committer | Damjan Marion <dmarion.lists@gmail.com> | 2016-11-29 17:35:44 +0000 |
commit | cfce8fa44378cb6843a8e9f5bb6aff8dd5fc5cf7 (patch) | |
tree | e840b9c271a34d08b42733ab0d7ceef1ae1c3903 /vppinfra/.gitignore | |
parent | b8ff5d6a1bdbd8fae07221a6d28b59c6d80fdc24 (diff) |
Added make test to make verify
Change-Id: If5dcfc330a7df69b2c811ce5a8a48c2e0f968270
Signed-off-by: Ed Warnicke <hagbard@gmail.com>
Diffstat (limited to 'vppinfra/.gitignore')
0 files changed, 0 insertions, 0 deletions