diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-07-27 12:04:55 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-27 12:04:55 +0200 |
commit | 08d3d06ed7bdfbc24ce8a2d5ec79567000f8849f (patch) | |
tree | 4a19d9449d6a18e899e006676e97130fbe489f23 /thirdparty/bullet/Bullet3OpenCL | |
parent | 8965ec124d6b2985537a53f8aad315b26358e4f8 (diff) | |
parent | 6f1c99e5b430adbb7f52922fb43ea0fde2a8e7cc (diff) |
Merge pull request #40749 from madmiraal/fix-9097
Clarify the difference between contacts and collisions.
Diffstat (limited to 'thirdparty/bullet/Bullet3OpenCL')
0 files changed, 0 insertions, 0 deletions