Merge remote branch 'origin/master' into edge

AdaCore · Jul 26, 2024 · 0d4897a · 0d4897a
2 parents 734b49f + 9d3e136
commit 0d4897a
Showing 1 changed file with 5 additions and 9 deletions.
diff --git a/.vscode/extensions.json b/.vscode/extensions.json
@@ -3,14 +3,10 @@
       "ms-python.black-formatter",
       "ms-python.flake8",
       "ms-python.mypy-type-checker",
-      "editorconfig.editorconfig",
-      "dbaeumer.vscode-eslint",
-      "esbenp.prettier-vscode",
-      "gruntfuggly.triggertaskonsave",
-      "davidanson.vscode-markdownlint",
-      "adacore.ada",
       "ms-vscode.extension-test-runner",
-      "timonwong.shellcheck",
-      "foxundermoon.shell-format"
+      "davidanson.vscode-markdownlint",
+      "esbenp.prettier-vscode",
+      "dbaeumer.vscode-eslint",
+      "adacore.ada"
    ]
-}
+}