diff options
| author | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2023-04-16 21:29:02 +0100 |
|---|---|---|
| committer | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2023-04-16 21:32:32 +0100 |
| commit | f80f4f319442ebc385b758bbeb6abd89372308e9 (patch) | |
| tree | a64c14afb39fb6fad5d9d73e59a36f603c60e050 /src/plugins/PluginAPI.cpp | |
| parent | 6e58428336e55cf218812729ed99652d80f6f19b (diff) | |
dispatchers: fix named ws-es on changeworkspace
Diffstat (limited to 'src/plugins/PluginAPI.cpp')
0 files changed, 0 insertions, 0 deletions