diff options
| author | Kevin Krakauer <krakauer@google.com> | 2019-02-22 13:33:49 -0800 |
|---|---|---|
| committer | Shentubot <shentubot@google.com> | 2019-02-22 13:34:47 -0800 |
| commit | b75aa515044367094e762985a4b1a1f0580e3ad6 (patch) | |
| tree | 426b486ae27b30c8e74b623f6904d3487eeeec2a /third_party/gvsync | |
| parent | 532f4b2fbaf66382a3d9e118b5a7a3ee272c8edc (diff) | |
Rename ping endpoints to icmp endpoints.
PiperOrigin-RevId: 235248572
Change-Id: I5b0538b6feb365a98712c2a2d56d856fe80a8a09
Diffstat (limited to 'third_party/gvsync')
0 files changed, 0 insertions, 0 deletions