diff options
| author | vaxerski <vaxry@vaxry.net> | 2022-10-13 15:19:30 +0100 |
|---|---|---|
| committer | vaxerski <vaxry@vaxry.net> | 2022-10-13 15:19:30 +0100 |
| commit | 624303bfb934761518d601053bfb54cf0a73e0bd (patch) | |
| tree | c3192f1c788e4a5ef62f4177053f4456c213558d /src/managers/AnimationManager.cpp | |
| parent | eb3c132fc52a9c02645527ec7b05b09b23112460 (diff) | |
check for same workspace in workspace rule
Diffstat (limited to 'src/managers/AnimationManager.cpp')
0 files changed, 0 insertions, 0 deletions