From d10f14b4f4c89b7e21f5c277fcfb6607109654b5 Mon Sep 17 00:00:00 2001 From: Marcel van der Veldt Date: Sun, 5 Jan 2025 22:39:15 +0100 Subject: [PATCH] Remove the devcontainer because its unmaintained (#1830) --- .devcontainer/Dockerfile | 14 -------------- .devcontainer/devcontainer.json | 10 ---------- .devcontainer/post-create.sh | 13 ------------- DEVELOPMENT.md | 25 ++++++++++++++----------- 4 files changed, 14 insertions(+), 48 deletions(-) delete mode 100644 .devcontainer/Dockerfile delete mode 100644 .devcontainer/devcontainer.json delete mode 100755 .devcontainer/post-create.sh diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile deleted file mode 100644 index ca031c11..00000000 --- a/.devcontainer/Dockerfile +++ /dev/null @@ -1,14 +0,0 @@ -#syntax=docker/dockerfile:1.6 - -FROM mcr.microsoft.com/vscode/devcontainers/python:3.12 - -RUN <