Rémi Verschelde d0c1dd16ee Revert "Update RVO2 to git 2022.09" ... This reverts commit c920881105. Fixes #78826.		2023-06-29 12:50:49 +02:00
..
rvo2_2d	Revert "Update RVO2 to git 2022.09"	2023-06-29 12:50:49 +02:00
rvo2_3d	Revert "Update RVO2 to git 2022.09"	2023-06-29 12:50:49 +02:00
LICENSE	- Integrated NavigationServer and Navigation2DServer.	2020-02-10 14:38:52 +01:00