Update settings.json

2019-08-23 23:06:48 +08:00 · 2019-08-23 23:06:48 +08:00 · 35ff53d22d
parent fb10ac62d5
commit 35ff53d22d
1 changed files with 0 additions and 2 deletions
--- 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,
 }