Merge pull request #3584 from jbj/devcontainer

Codespaces: initial configuration
2026-01-15 23:44:47 +01:00 · 2020-05-28 19:06:02 +02:00
parent 688f540843 19d4011b8a
commit 8b8c00de75
1 changed files with 9 additions and 0 deletions
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@@ -0,0 +1,9 @@
+{
+  "extensions": [
+    "github.vscode-codeql",
+    "slevesque.vscode-zipexplorer"
+  ],
+  "settings": {
+    "codeQL.experimentalBqrsParsing": true
+  }
+}