diff options
| author | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2023-05-05 15:33:31 +0100 |
|---|---|---|
| committer | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2023-05-05 15:33:31 +0100 |
| commit | a5d63a0324649fd056da1d1e09b435333defb4f3 (patch) | |
| tree | bb8dfbe5efc1624e4d092a77a37aae33e03fd3fb /src/managers/input | |
| parent | 8435d6fc124b25aa07b8129d1baf4c6483c54ea7 (diff) | |
configmanager: store workspace rules as a deque
Diffstat (limited to 'src/managers/input')
0 files changed, 0 insertions, 0 deletions