Merge pull request #67 from devcontainers-community/devcontainer-folder

move .devcontainer.json to .devcontainer folder
devcontainers · Aug 18, 2023 · f83dfb9 · f83dfb9
2 parents fe42248 + 15915c5
commit f83dfb9
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/.devcontainer.json → .devcontainer/devcontainer.json b/.devcontainer.json → .devcontainer/devcontainer.json