diff options
| author | thejch <66577496+thejch@users.noreply.github.com> | 2024-04-19 18:20:16 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-20 02:20:16 +0100 |
| commit | 10caa03ce5bc2ce8238c494d59405213d32ddead (patch) | |
| tree | 192cbe23eb7c049dde26979a85c9eb4ba106f9eb /src/plugins/PluginAPI.cpp | |
| parent | 1ebc32f5f4b04c913fb6301b886e016afec4c20e (diff) | |
config: merge all rules set for the same workspace selection (#5656)
Diffstat (limited to 'src/plugins/PluginAPI.cpp')
0 files changed, 0 insertions, 0 deletions