diff options
| author | smix8 <52464204+smix8@users.noreply.github.com> | 2022-12-11 18:02:35 +0100 |
|---|---|---|
| committer | smix8 <52464204+smix8@users.noreply.github.com> | 2022-12-17 22:06:22 +0100 |
| commit | 34e7628f5f1b419bfed1acd915209347e615bedf (patch) | |
| tree | 35f1f13357c7c8b1676bd5e3df33a2279dce0754 /thirdparty/embree | |
| parent | 10bc1d8710e8d6a3f58f2c4f5cc09604ef3ec51f (diff) | |
Fix Navigation API abbreviations inconsistency
Schema for navigation to name user facing API with "navigation" without abbreviation and e.g. NavigationServer internals with abbr "nav".
Diffstat (limited to 'thirdparty/embree')
0 files changed, 0 insertions, 0 deletions