Revert unrelated change

4 days ago · 7eda0d1237
parent 5cabb8cb9d
commit 7eda0d1237
1 changed files with 0 additions and 3 deletions
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@ -1,3 +0,0 @@
 {
  "postCreateCommand": "echo 'Hello, Dev Container!'"
 }