diff options
Diffstat (limited to '.obsidian/workspace.json')
| -rw-r--r-- | .obsidian/workspace.json | 16 |
1 files changed, 13 insertions, 3 deletions
diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index 5ced8e8..71d2342 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -4,11 +4,11 @@ "type": "split", "children": [ { - "id": "2066c85892e3220a", + "id": "5e003072d16bbe43", "type": "tabs", "children": [ { - "id": "e515645f1da7b72e", + "id": "67c50c267e5243b4", "type": "leaf", "state": { "type": "markdown", @@ -174,6 +174,16 @@ "icon": "git-pull-request", "title": "Source Control" } + }, + { + "id": "6a728e1873f51963", + "type": "leaf", + "state": { + "type": "code-execute-manage-executors", + "state": {}, + "icon": "command-glyph", + "title": "Execution Runtimes" + } } ], "currentTab": 5 @@ -194,7 +204,7 @@ "obsidian-git:Open Git source control": false } }, - "active": "e515645f1da7b72e", + "active": "67c50c267e5243b4", "lastOpenFiles": [ "index.md", "Datei Zwei.md", |