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 /.gitignore | |
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 '.gitignore')
0 files changed, 0 insertions, 0 deletions