From 1c5dd51992f0f8ae02a1c89de163900642e82a8a Mon Sep 17 00:00:00 2001
From: Max Schaefer <54907921+max-schaefer@users.noreply.github.com>
Date: Thu, 28 May 2020 13:09:21 +0000
Subject: [PATCH] Add codespaces configuration

---
 .devcontainer/devcontainer.json | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 .devcontainer/devcontainer.json

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
new file mode 100644
index 00000000..d2aab98e
--- /dev/null
+++ b/.devcontainer/devcontainer.json
@@ -0,0 +1,11 @@
+{
+    "extensions": [
+        "github.vscode-codeql",
+        "slevesque.vscode-zipexplorer"
+    ],
+    "settings": {
+        "codeQL.experimentalBqrsParsing": true,
+        "codeQL.experimentalFeatures": true,
+        "codeQL.runningQueries.debug": true
+    }
+}
\ No newline at end of file