diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-01-22 00:02:14 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-01-22 00:02:14 +0100 |
| commit | 37cb029fcc158b8dc43bfefecc6709ae0237642b (patch) | |
| tree | 664212eb2ee0de9fc7de76aefa0999a26f829e34 /editor/fileserver | |
| parent | d8390105c3f8e65d790eb291662382a3095afdeb (diff) | |
| parent | e9237d83c748efdd44741c1ab0e39d5840d526bb (diff) | |
Merge pull request #15938 from poke1024/fix15904
Fix crash on deleted rigidbodies without contact monitor (issue 15904)
Diffstat (limited to 'editor/fileserver')
0 files changed, 0 insertions, 0 deletions