From cafaa45f7752519b56ddb89aa05412b9ee76978c Mon Sep 17 00:00:00 2001
From: jorg-vr <jorg.vanrenterghem@ugent.be>
Date: Mon, 4 Nov 2024 14:49:36 +0100
Subject: [PATCH] Update .devcontainer/devcontainer.json

Co-authored-by: Bart Mesuere <mesuerebart@gmail.com>
---
 .devcontainer/devcontainer.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
index 00b3c1c0..f5a09299 100644
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@@ -1,5 +1,5 @@
 {
-	"name": "dodona-tested",
+  "name": "dodona-tested",
   "build": {
     "dockerfile": "dodona-tested.dockerfile",
     "context": "."