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 /core/map.h | |
| parent | 8965ec124d6b2985537a53f8aad315b26358e4f8 (diff) | |
| parent | 6f1c99e5b430adbb7f52922fb43ea0fde2a8e7cc (diff) | |
Merge pull request #40749 from madmiraal/fix-9097
Clarify the difference between contacts and collisions.
Diffstat (limited to 'core/map.h')
0 files changed, 0 insertions, 0 deletions