From f507efcd01855c7d109ff85f4ce80ed93629fc64 Mon Sep 17 00:00:00 2001 From: breblanc Date: Mon, 25 Nov 2024 20:55:51 +0100 Subject: [PATCH] removed save-dev --- .devcontainer/dodona-tested.dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.devcontainer/dodona-tested.dockerfile b/.devcontainer/dodona-tested.dockerfile index a74bcc22..d7172452 100644 --- a/.devcontainer/dodona-tested.dockerfile +++ b/.devcontainer/dodona-tested.dockerfile @@ -72,7 +72,7 @@ RUN <