diff options
| author |   Marek Gradzki <mgradzki@cisco.com> | 2018-05-25 15:50:05 +0200 |
|---|---|---|
| committer | Marek Gradzki <mgradzki@cisco.com> | 2018-05-27 18:23:59 +0200 |
| commit | 7eaaf740766db0e5625ff3217948c6925192eec4 (patch) | |
| tree | 57a6443bbf5972ff4d71b0edfa2f910a7682a26c /src/vnet/ip/ping.h | |
| parent | 3ade6b668e0198611934e28c937f69ce6a12db16 (diff) | |
proxy_arp: remove unused is_add
Change-Id: I1773d962b373693a737d39c0c97e8c53eb91545a
Signed-off-by: Marek Gradzki <mgradzki@cisco.com>
Diffstat (limited to 'src/vnet/ip/ping.h')
0 files changed, 0 insertions, 0 deletions