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 /.gitreview | |
parent | 3ade6b668e0198611934e28c937f69ce6a12db16 (diff) |
proxy_arp: remove unused is_add
Change-Id: I1773d962b373693a737d39c0c97e8c53eb91545a
Signed-off-by: Marek Gradzki <mgradzki@cisco.com>
Diffstat (limited to '.gitreview')
0 files changed, 0 insertions, 0 deletions