From 4966376839365536923cd6cfbb86d15071432e1a Mon Sep 17 00:00:00 2001
From: Florian Dold <florian.dold@gmail.com>
Date: Sun, 15 Dec 2019 16:59:00 +0100
Subject: group refresh sessions into groups for nicer history

---
 .vscode/tasks.json | 29 -----------------------------
 1 file changed, 29 deletions(-)

(limited to '.vscode')

diff --git a/.vscode/tasks.json b/.vscode/tasks.json
index a14159944..0799db9a2 100644
--- a/.vscode/tasks.json
+++ b/.vscode/tasks.json
@@ -3,17 +3,6 @@
     // for the documentation about the tasks.json format
     "version": "2.0.0",
     "tasks": [
-        {
-            "type": "typescript",
-            "tsconfig": "tsconfig.json",
-            "option": "watch",
-            "problemMatcher": [
-                "$tsc-watch"
-            ],
-            "group": "build",
-            "isBackground": true,
-            "promptOnClose": false
-        },
         {
             "type": "typescript",
             "tsconfig": "tsconfig.json",
@@ -21,24 +10,6 @@
                 "$tsc"
             ],
             "group": "build"
-        },
-        {
-            "label": "tslint",
-            "type": "shell",
-            "command": "make lint",
-            "problemMatcher": {
-                "owner": "tslint",
-                "applyTo": "allDocuments",
-                "fileLocation": "absolute",
-                "severity": "warning",
-                "pattern": "$tslint5"
-            },
-            "group": "build"
-        },
-        {
-            "label": "My Task",
-            "type": "shell",
-            "command": "echo Hello"
         }
     ]
 }
\ No newline at end of file
-- 
cgit v1.2.3