diff options
Diffstat (limited to '.devcontainer')
| -rw-r--r-- | .devcontainer/x86-64/devcontainer.json | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/.devcontainer/x86-64/devcontainer.json b/.devcontainer/x86-64/devcontainer.json new file mode 100644 index 0000000..3c88eae --- /dev/null +++ b/.devcontainer/x86-64/devcontainer.json @@ -0,0 +1,11 @@ +{ + "image": "registry.gitlab.ost.ch:45023/teachos/devcontainers/x86-64:14.2.0", + "customizations": { + "vscode": { + "extensions": [ + "ms-vscode.cmake-tools", + "ms-vscode.cpptools" + ] + } + } +} |