diff options
| author | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2023-04-16 21:33:28 +0100 |
|---|---|---|
| committer | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2023-04-16 21:33:28 +0100 |
| commit | c62ab1bee72cc4bda16a0574a8c9de7d71da314a (patch) | |
| tree | 892cfee3cff131d15411be6476097a7328062bd4 /src/plugins/PluginAPI.cpp | |
| parent | f80f4f319442ebc385b758bbeb6abd89372308e9 (diff) | |
internal: use setSpecialWorkspace on destroy in sanityCheck
Diffstat (limited to 'src/plugins/PluginAPI.cpp')
0 files changed, 0 insertions, 0 deletions