diff options
| author | sotech117 <michael_foiani@brown.edu> | 2024-02-10 22:01:02 -0500 |
|---|---|---|
| committer | sotech117 <michael_foiani@brown.edu> | 2024-02-10 22:01:02 -0500 |
| commit | b2d2b864b79789259c3083f60e1b852671afdf5f (patch) | |
| tree | e0e344b9a26b061a030168e0866eecc0cb4ea014 /.devcontainer/devcontainer.json | |
| parent | 84290c70c73882547e4b342e2573b4f79a1c3924 (diff) | |
add dev container for development
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 |