diff options
| author |   Paul Vinciguerra <pvinci@vinciconsulting.com> | 2018-12-07 03:57:49 -0800 |
|---|---|---|
| committer |   Damjan Marion <dmarion@me.com> | 2018-12-18 12:44:26 +0000 |
| commit | 05b5d1b3a6663c0366e863adc845d7ee4facc1e3 (patch) | |
| tree | 2171f968ce57ce9335c9eaa371b53b9c545bc6d4 /src/vnet/srv6/sr_localsid.c | |
| parent | 6eb61639de0156a2343ba5825ac535727d6658d0 (diff) | |
make wipe: Clean up *.api.json files.
Change-Id: I0cb1a1b5bf9003d7b5231452e85d535c9cb2b6ec
Signed-off-by: Paul Vinciguerra <pvinci@vinciconsulting.com>
Diffstat (limited to 'src/vnet/srv6/sr_localsid.c')
0 files changed, 0 insertions, 0 deletions