diff options
| author | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2023-04-17 13:32:35 +0100 |
|---|---|---|
| committer | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2023-04-17 13:32:35 +0100 |
| commit | 7c36a3e1670e369d84c4f61b9de300ef72710c14 (patch) | |
| tree | c87fe5e1f7bad939919a625f6238976c30e06af5 /src/plugins/PluginAPI.cpp | |
| parent | 785fc8d669b35d277cf1c58012ba7f3f406ed9ee (diff) | |
internal: move workspace special check higher in changeWorkspace
Diffstat (limited to 'src/plugins/PluginAPI.cpp')
0 files changed, 0 insertions, 0 deletions