chore: remove outdated devcontainer files (#816)

We cannot maintain those files over time, as none of us are actually using devcontainers.
hetznercloud · Jul 15, 2024 · 7f94cdf · 7f94cdf
1 parent 9017a65
commit 7f94cdf
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 107 deletions.
diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json