Commit a8098903cd39114b4daeae2311f3f517566105d7
2020-05-10T17:04:54
.devcontainer: settings for a codespace workflow Add devcontainer settings for running within a codespace.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
new file mode 100644
index 0000000..2731eab
--- /dev/null
+++ b/.devcontainer/devcontainer.json
@@ -0,0 +1,3 @@
+{
+ "postCreateCommand": "sudo apt-get update && sudo apt-get -y --no-install-recommends install cmake"
+}