remove redundant features

ocadotechnology · Sep 16, 2024 · 2408581 · 2408581
1 parent 15a2af5
commit 2408581
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/.devcontainer.json b/.devcontainer.json
@@ -42,11 +42,8 @@
       "version": "18"
     },
     "ghcr.io/devcontainers/features/python:1": {
-      "installTools": false,
+      "toolsToInstall": "pipenv==2023.11.15",
       "version": "3.8"
-    },
-    "ghcr.io/devcontainers-contrib/features/pipenv:2": {
-      "version": "2023.11.15"
     }
   },
   "name": "workspace",