Python editor settings.

[philipp/winterrodeln/mediawiki_extensions/wrmap.git] / .vscode / settings.json

diff --git a/.vscode/settings.json b/.vscode/settings.json
index 15d9cf1aec32a55cfa47cc92c5cb3529012b43a8..c61cc17aa4ce48ac62c2fceb09086fe9949b6647 100644 (file)
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@@ -18,5 +18,6 @@
     "[php]": {
         "editor.tabSize": 4,
         "editor.insertSpaces": false,
-    }
+    },
+    "python.analysis.typeCheckingMode": "basic"
 }