diff options
| author |   Marek Gradzki <mgradzki@cisco.com> | 2016-11-03 13:33:07 +0100 |
|---|---|---|
| committer |   Damjan Marion <dmarion.lists@gmail.com> | 2016-11-03 16:42:03 +0000 |
| commit | 74e2efad55da7a49440e1486205084fadaaf64e0 (patch) | |
| tree | c38d0d09ad872aeff2af104f0ca26caf710ae3b2 /build-root/vagrant | |
| parent | cb4cda69125f78f556d93b67e3d345ab469d891b (diff) | |
Remove unused jvpp dependency on plugins' control_ping
Change-Id: I6ebb69443e79e60c7ce6afded6a2d3af85048e6e
Signed-off-by: Marek Gradzki <mgradzki@cisco.com>
Diffstat (limited to 'build-root/vagrant')
0 files changed, 0 insertions, 0 deletions