diff options
| author | Roberto Vidal <[email protected]> | 2019-04-11 07:08:19 +0100 |
|---|---|---|
| committer | Roberto Vidal <[email protected]> | 2019-04-14 09:04:38 +0100 |
| commit | 3507bcb97aaaafba10d55c101bd295f3ab4fed4f (patch) | |
| tree | e4febb3206524a6f07641c884734afef9c153674 /docs/dev | |
| parent | 23b876bc3b00c53ce24b8a99b4f4bf190fc6300e (diff) | |
Adds support for multiple editor workspaces on initialization
This is a quick, partial fix for #1104
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions