From d6e1461a0820383b7773c94322dd5275554eeb85 Mon Sep 17 00:00:00 2001
From: ZhuangYumin <zhuangyumin@sjtu.edu.cn>
Date: Sun, 26 Nov 2023 18:01:12 +0000
Subject: [PATCH] upd: make Dev Container settings better

---
 .devcontainer/devcontainer.json | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
index e03643d..a97a9b4 100644
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@@ -6,7 +6,6 @@
 		"dockerfile": "Dockerfile"
 	},
 	"features": {
-		"ghcr.io/devcontainers-contrib/features/fish-apt-get:1": {}
 	}
 
 	// Features to add to the dev container. More info: https://containers.dev/features.