Remove the devcontainer because its unmaintained (#1830)
authorMarcel van der Veldt <m.vanderveldt@outlook.com>
Sun, 5 Jan 2025 21:39:15 +0000 (22:39 +0100)
committerGitHub <noreply@github.com>
Sun, 5 Jan 2025 21:39:15 +0000 (22:39 +0100)
commitd10f14b4f4c89b7e21f5c277fcfb6607109654b5
tree319b76ebada3f9f8e3727cbeb409d525a23db353
parentadc7e9029329f1ca49a6c190acce4d6bb4839fc8
Remove the devcontainer because its unmaintained (#1830)
.devcontainer/Dockerfile [deleted file]
.devcontainer/devcontainer.json [deleted file]
.devcontainer/post-create.sh [deleted file]
DEVELOPMENT.md