diff options
| author | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2022-05-30 20:51:45 +0200 |
|---|---|---|
| committer | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2022-05-30 20:51:45 +0200 |
| commit | c9041bf5c993bfb5c67256ff20be7a025d97ffc5 (patch) | |
| tree | c3bade167749219e485e94f02265cb85ec6b9c5d /src/layout | |
| parent | b2474d406a98b2d271107842074614975a469237 (diff) | |
notify workspace protocol of workspace group change
Diffstat (limited to 'src/layout')
0 files changed, 0 insertions, 0 deletions