diff options
| author |   Dave Barach <dave@barachs.net> | 2020-08-06 12:10:09 -0400 |
|---|---|---|
| committer | Dave Barach <dave@barachs.net> | 2020-08-06 12:10:50 -0400 |
| commit | 11fb09e38ffcbadc2629361377413f3ce12ec4da (patch) | |
| tree | 65d2a0a16b6e1fce5bec0dba1368dca5db3bc9e3 /src/vppinfra/rbtree.h | |
| parent | 586462fabcc913a5a4fa9115d4b5caf33dfdb347 (diff) | |
misc: harmonize names
Type: fix
Signed-off-by: Dave Barach <dave@barachs.net>
Change-Id: Ibad744788e200ce012ad88ff59c2c34920742454
Diffstat (limited to 'src/vppinfra/rbtree.h')
0 files changed, 0 insertions, 0 deletions