Update .devcontainer/devcontainer.json

Co-authored-by: Bart Mesuere <mesuerebart@gmail.com>
dodona-edu · Nov 4, 2024 · cafaa45 · cafaa45
1 parent adf160c
commit cafaa45
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -1,5 +1,5 @@
 {
-	"name": "dodona-tested",
+  "name": "dodona-tested",
   "build": {
     "dockerfile": "dodona-tested.dockerfile",
     "context": "."