diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2023-02-11 15:35:56 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-02-11 15:35:56 +0100 |
commit | 44b41ded82229ca7614403f74234a4282002458b (patch) | |
tree | 38cf4d77db707cbf823f9cbe31294207042e1826 /servers/audio_server.cpp | |
parent | 5a79d55560763c10483373b1c715283f76efa656 (diff) | |
parent | 18d6c91e8e299a077fc84c9d37090f6170fdceac (diff) |
Merge pull request #73098 from YuriSizov/editor-dont-hide-plugins
Avoid cleaning up editor plugins when property list changes
Diffstat (limited to 'servers/audio_server.cpp')
0 files changed, 0 insertions, 0 deletions