From dd50af7ed12ab314a5c1d62c8f757c749343994f Mon Sep 17 00:00:00 2001 From: breblanc Date: Thu, 21 Nov 2024 10:01:27 +0100 Subject: [PATCH] switched content position in docker --- .devcontainer/dodona-tested.dockerfile | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.devcontainer/dodona-tested.dockerfile b/.devcontainer/dodona-tested.dockerfile index f538dcdb..8b0b8a43 100644 --- a/.devcontainer/dodona-tested.dockerfile +++ b/.devcontainer/dodona-tested.dockerfile @@ -78,15 +78,15 @@ RUN <