From 19d4011b8a4234d6f970a8b8a05ff5032419419d Mon Sep 17 00:00:00 2001
From: Jonas Jensen <jbj@github.com>
Date: Thu, 28 May 2020 14:01:36 +0200
Subject: [PATCH] Codespaces: initial configuration

This was adapted from https://github.com/github/vscode-codeql-starter.
---
 .devcontainer/devcontainer.json | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 .devcontainer/devcontainer.json

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
new file mode 100644
index 00000000000..eef634fae2a
--- /dev/null
+++ b/.devcontainer/devcontainer.json
@@ -0,0 +1,9 @@
+{
+  "extensions": [
+    "github.vscode-codeql",
+    "slevesque.vscode-zipexplorer"
+  ],
+  "settings": {
+    "codeQL.experimentalBqrsParsing": true
+  }
+}