rename wlr_workspace -> wlr_ext_workspace

This commit is contained in:
Ilia Bozhinov 2021-02-17 07:55:19 +01:00
parent 284dc3d251
commit be327234a8
3 changed files with 1 additions and 1 deletions