Delete .devcontainer directory

HypothesisWorks · Jan 7, 2022 · 4709144 · 4709144
1 parent 22607fe
commit 4709144
Showing 1 changed file with 0 additions and 12 deletions.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json