From af49034e5ded2639eb5f1d8d02772875ba287bb5 Mon Sep 17 00:00:00 2001
From: Raphael <raphael@crvx.fr>
Date: Mon, 27 May 2019 14:04:38 +0200
Subject: [PATCH] Update vscode-settings.json

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

diff --git a/vscode-settings.json b/vscode-settings.json
index f14977f..8d17b9f 100644
--- a/vscode-settings.json
+++ b/vscode-settings.json
@@ -3,7 +3,6 @@
   "workbench.colorTheme": "Material Theme Darker High Contrast",
   "python.jediEnabled": false,
   "editor.tabSize": 2,
-  // "tslint.configFile": "tslint.json",
   "[typescript]": {
     "editor.defaultFormatter": "esbenp.prettier-vscode"
   },