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, }