diff options
| author | Vaxry <43317083+vaxerski@users.noreply.github.com> | 2022-08-21 14:16:52 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-21 14:16:52 +0200 |
| commit | 5e1f2539cb24b10cad50eba4c3131190022d5ee0 (patch) | |
| tree | 51cbb6a5fd12399f4a6d9a1dd9546bef878a097a /src/Window.cpp | |
| parent | 9513031da30861b6ab593625aebe88b811758427 (diff) | |
| parent | 9dbdd66da417eb2316387f3af078349c50bc2929 (diff) | |
Merge pull request #352 from CharlesEkkel/previous-workspace
Add switching to previous workspace
Diffstat (limited to 'src/Window.cpp')
0 files changed, 0 insertions, 0 deletions