diff options
author | Saracen <SaracenOne@gmail.com> | 2019-08-22 16:30:55 +0100 |
---|---|---|
committer | Saracen <SaracenOne@gmail.com> | 2019-08-22 16:30:55 +0100 |
commit | daf443bcbc8eda493efa55b5ed77575702bcde0c (patch) | |
tree | fc94f06f42a7d411415bdca1ad8a85a857620f6e /servers/physics/gjk_epa.h | |
parent | 05a43108995330741b8599cb5dcbe5cc40121ea9 (diff) |
Fix an exception when trying to close down editor with plugins enabled.
Diffstat (limited to 'servers/physics/gjk_epa.h')
0 files changed, 0 insertions, 0 deletions