diff options
author | Yuri Rubinsky <chaosus89@gmail.com> | 2023-09-30 09:34:35 +0300 |
---|---|---|
committer | Yuri Rubinsky <chaosus89@gmail.com> | 2023-09-30 09:53:12 +0300 |
commit | 8980211c08c4b9693558a69f90a16be3c3e68969 (patch) | |
tree | effab6333d30d45491ad21c07ae88c44bba1ff20 /platform/android/export/export_plugin.cpp | |
parent | 44e399ed5fa895f760b2995e59788bdb49782666 (diff) | |
download | redot-engine-8980211c08c4b9693558a69f90a16be3c3e68969.tar.gz |
Fix crash when deleting the player in `AnimationPlayerEditorPlugin`
Diffstat (limited to 'platform/android/export/export_plugin.cpp')
0 files changed, 0 insertions, 0 deletions