diff options
| author | Cyril Levis <cyrinux@users.noreply.github.com> | 2023-01-08 14:19:18 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-08 14:19:18 +0100 |
| commit | 3173fbdc4a2b0a306cf56e282524bcb33914ab96 (patch) | |
| tree | df37edc12ca160e37376580a2d58f5f2075f0bc9 /src/debug | |
| parent | b1104b1ca70372c377289efe6ed99f2d1f6a1ca3 (diff) | |
feat: dispatcher, add workspace renaming (#1336)
* feat: dispatcher, add workspace renaming
Co-authored-by: vaxerski <vaxry@vaxry.net>
Diffstat (limited to 'src/debug')
0 files changed, 0 insertions, 0 deletions