diff options
| author |   Dave Barach <dave@barachs.net> | 2022-12-26 14:01:36 -0500 |
|---|---|---|
| committer | Dave Barach <dave@barachs.net> | 2022-12-26 14:25:36 -0500 |
| commit | 6c89a35846e6884c69f5df6a28c91dfed5b24cc8 (patch) | |
| tree | 44ab32548eda24679f0b79b03b485e5caaed709e /build/external/deb/debian | |
| parent | 21b8fd324524ba4f9fa1be853d79d9ec750fa995 (diff) | |
vppinfra: fix function prototypes
Type: fix
Signed-off-by: Dave Barach <dave@barachs.net>
Change-Id: Idbdfdf2d3fdbb64366f50d5a7458c4073a4f2746
Diffstat (limited to 'build/external/deb/debian')
0 files changed, 0 insertions, 0 deletions