Update ping cli .short_help. 78/19478/2
authorPaul Vinciguerra <pvinci@vinciconsulting.com>
Thu, 9 May 2019 21:41:23 +0000 (17:41 -0400)
committerDave Barach <openvpp@barachs.net>
Fri, 10 May 2019 19:51:06 +0000 (19:51 +0000)
commit63b19bf414530a95bce4d4148a375fff60d411d8
treef73f5be5d53a8cfcd8f8314a660e2cbd0baff0a6
parent0da895dffe0904a68f7449f2684ee0af2538a99f
Update ping cli .short_help.

Change-Id: I5c414a158a8a6b243128127c608ab0fbb5a9405b
Signed-off-by: Paul Vinciguerra <pvinci@vinciconsulting.com>
src/vnet/ip/ping.c