diff options
| author | sotech117 <michael_foiani@brown.edu> | 2024-02-11 01:09:52 -0500 |
|---|---|---|
| committer | sotech117 <michael_foiani@brown.edu> | 2024-02-11 01:09:52 -0500 |
| commit | c71b9e406a8fb7bfcaeb20ee787d6eb4a1cbb71d (patch) | |
| tree | bc4063c436b6d37bb44c3b40c82a68218e590ddd /.devcontainer/devcontainer.json | |
| parent | 9aa2e2f4708a104ed2db2e28cc10b061fb711569 (diff) | |
work on proc. local development container fix.
Diffstat (limited to '.devcontainer/devcontainer.json')
| -rw-r--r-- | .devcontainer/devcontainer.json | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json new file mode 100644 index 0000000..9784a11 --- /dev/null +++ b/.devcontainer/devcontainer.json @@ -0,0 +1,4 @@ +{ + "name": "os-dev", + "build": { "dockerfile": "Dockerfile" } +}
\ No newline at end of file |