diff options
Diffstat (limited to '.vscode/tasks.json')
| -rw-r--r-- | .vscode/tasks.json | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/.vscode/tasks.json b/.vscode/tasks.json index 7bd7e3706..fc9a8593b 100644 --- a/.vscode/tasks.json +++ b/.vscode/tasks.json | |||
| @@ -14,9 +14,6 @@ | |||
| 14 | "fileLocation": ["relative", "${workspaceFolder}/editors/code/"] | 14 | "fileLocation": ["relative", "${workspaceFolder}/editors/code/"] |
| 15 | }, | 15 | }, |
| 16 | "isBackground": true, | 16 | "isBackground": true, |
| 17 | "presentation": { | ||
| 18 | "reveal": "never" | ||
| 19 | }, | ||
| 20 | }, | 17 | }, |
| 21 | { | 18 | { |
| 22 | "label": "Build Server", | 19 | "label": "Build Server", |