diff options
| author | Josh Spicer <joshspicer@github.com> | 2022-07-29 15:35:20 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-29 15:35:20 +0300 |
| commit | 6191a2e5d5018fbf018ce9b3d9c03b9821d5e26e (patch) | |
| tree | 41f0e4b5057effebf7356dcd4f3f73ffac6bf2ad | |
| parent | ece89a9e6ff6ef99417cee532b1cd60be7a8a777 (diff) | |
Delete .devcontainer.json
| -rw-r--r-- | .devcontainer.json | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/.devcontainer.json b/.devcontainer.json deleted file mode 100644 index 5717d85..0000000 --- a/.devcontainer.json +++ /dev/null @@ -1,20 +0,0 @@ -{ - "customizations": { - "codespaces": { - "repositories": { - "devcontainers/cli": { - "permissions": { - "contents": "write", - "workflows": "write" - } - }, - "devcontainers/action": { - "permissions": { - "contents": "write", - "workflows": "write" - } - } - } - } - } -} |