From 35ff53d22d79bebc2e7d805a37108cbacfe17b03 Mon Sep 17 00:00:00 2001 From: lianghongkey Date: Fri, 23 Aug 2019 23:06:48 +0800 Subject: [PATCH] Update settings.json --- settings.json | 2 -- 1 file changed, 2 deletions(-) diff --git a/settings.json b/settings.json index 4d147b0..9d74b7e 100644 --- a/settings.json +++ b/settings.json @@ -50,7 +50,5 @@ "gitlens.hovers.enabled": false, "gitlens.codeLens.authors.enabled": false, "gitlens.codeLens.recentChange.enabled": false, - "python.linting.mypyEnabled": true, "python.linting.pylintEnabled": false, - "python.jediEnabled": false, }