diff --git a/.vscode/tasks.json b/.vscode/tasks.json index acb21326f83f5cb9e9ec192d1e893357a1aff14c..4a2d46d5de0edcfb8469dfaa2d7f9ecb524b420d 100644 --- a/.vscode/tasks.json +++ b/.vscode/tasks.json @@ -12,6 +12,7 @@ { "label": "Download and install the windows dependencies (Windows10)", "type": "shell", + "command": "echo 'nothing to do'", "windows": { "command": [ "if (Test-Path -Path 'C:\\sextant') {rmdir -r C:\\sextant};",