diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-02-28 14:27:18 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-28 14:27:18 +0100 |
| commit | 0e77dc6e924cdf68175f56cb67756bf217e6c4ea (patch) | |
| tree | 948dddae3e026b8d72c404b8d28cf488dbb7a30a /thirdparty/rvo2 | |
| parent | a6ec6521fae92a245c9d395efda01a120a44324d (diff) | |
| parent | 519e314bea2b1552f317d96efb7c9d0ad268e8bc (diff) | |
Merge pull request #46475 from RootKiller/fix_joint_collision
Fixed bug that caused collision not to be properly reenabled when joi…
Diffstat (limited to 'thirdparty/rvo2')
0 files changed, 0 insertions, 0 deletions