From 3cffa1cd1db74efc7b2bfe771aa72bff8cbc7f6c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Belin?= Date: Sun, 27 Jan 2019 23:19:52 +0100 Subject: [PATCH] Updated the VSCode tasks --- .vscode/tasks.json | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/.vscode/tasks.json b/.vscode/tasks.json index 925e3d4..27ae63a 100644 --- a/.vscode/tasks.json +++ b/.vscode/tasks.json @@ -7,6 +7,12 @@ "problemMatcher": [], "type": "shell" }, + { + "command": "robo coverage", + "label": "robo : coverage", + "problemMatcher": [], + "type": "shell" + }, { "command": "robo doc", "label": "robo : doc", @@ -32,6 +38,12 @@ "problemMatcher": [], "type": "shell" }, + { + "command": "robo version", + "label": "robo : version", + "problemMatcher": [], + "type": "shell" + }, { "command": "robo watch", "label": "robo : watch",