diff options
author | smix8 <52464204+smix8@users.noreply.github.com> | 2023-02-01 22:11:10 +0100 |
---|---|---|
committer | smix8 <52464204+smix8@users.noreply.github.com> | 2023-02-01 22:27:48 +0100 |
commit | 0d80705f110543d1f41092017a6c3c4956480200 (patch) | |
tree | ca11d1e9dda7038585277bf3e1bdef5a8300a0ae /modules/text_server_adv/icu_data | |
parent | 0a9e6e478e3183d7bf3c5cb895c706bc6275d3ea (diff) |
Rename NavigationServer internal RvoAgent to NavAgent
Renames the NavigationServer internal RvoAgent to NavAgent.
Diffstat (limited to 'modules/text_server_adv/icu_data')
0 files changed, 0 insertions, 0 deletions