From fb2e2f89935240666de66e4b2c11125cb3b2943d Mon Sep 17 00:00:00 2001
From: Florian Dold <florian.dold@gmail.com>
Date: Tue, 7 Apr 2020 13:37:32 +0530
Subject: more lint fixes

---
 .vscode/settings.json | 1 -
 1 file changed, 1 deletion(-)

(limited to '.vscode')

diff --git a/.vscode/settings.json b/.vscode/settings.json
index 6482c5da1..7f8edcba2 100644
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@@ -34,7 +34,6 @@
         },
         "**/*.js.map": true
     },
-    "tslint.enable": true,
     "editor.wrappingIndent": "same",
     "editor.tabSize": 2
 }
\ No newline at end of file
-- 
cgit v1.2.3