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 /core/pool_allocator.cpp | |
| parent | 05a43108995330741b8599cb5dcbe5cc40121ea9 (diff) | |
Fix an exception when trying to close down editor with plugins enabled.
Diffstat (limited to 'core/pool_allocator.cpp')
0 files changed, 0 insertions, 0 deletions