diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2023-06-19 10:43:34 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-06-19 10:43:34 +0200 |
| commit | 130644c06125d95ee02f5eb295b9d74b3ccb7977 (patch) | |
| tree | 4a9c0e5f72999620ddde074d35dcf82ea796e174 /tools/javascript.py | |
| parent | ca78bcf558d8584e24b07ea21a7d5e2f58394ef7 (diff) | |
| parent | d28a3cbbd5380c9ac96e7b862c744b47d8801b56 (diff) | |
| download | redot-cpp-130644c06125d95ee02f5eb295b9d74b3ccb7977.tar.gz | |
Merge pull request #1138 from dsnopek/editor-plugins-deinitialize
Automatically remove editor plugins when deinitializing GDExtension
Diffstat (limited to 'tools/javascript.py')
0 files changed, 0 insertions, 0 deletions