diff options
| author | smix8 <52464204+smix8@users.noreply.github.com> | 2022-06-23 19:16:47 +0200 |
|---|---|---|
| committer | smix8 <52464204+smix8@users.noreply.github.com> | 2022-06-23 23:32:05 +0200 |
| commit | e57360d8df6329e1e547bc5717ee707a7620e039 (patch) | |
| tree | 3f434c5d3e383bccc577a2d4abf24daf4f1cf4be /misc/scripts/file_format.sh | |
| parent | 462127eff08c8ca60a1e4a476153bdb60d63b890 (diff) | |
Add NavigationServer.region_owns_point() helper function
Adds a helper function to check if a world space position is currently owned by a navigation region.
Diffstat (limited to 'misc/scripts/file_format.sh')
0 files changed, 0 insertions, 0 deletions