From 0adef895d1f54dfc5b0180d7dddbbd6712efa227 Mon Sep 17 00:00:00 2001
From: 3029257 <3029257@stud.th-mannheim.de>
Date: Mon, 12 Oct 2026 08:28:28 +0000
Subject: [PATCH] update dev container

---
 {.decvontainer => .devcontainer}/Dockerfile                    | 0
 {.decvontainer => .devcontainer}/devcontainer-lock.json        | 0
 {.decvontainer => .devcontainer}/devcontainer.json             | 0
 {.decvontainer => .devcontainer}/scripts/install-subversion.sh | 0
 4 files changed, 0 insertions(+), 0 deletions(-)
 rename {.decvontainer => .devcontainer}/Dockerfile (100%)
 rename {.decvontainer => .devcontainer}/devcontainer-lock.json (100%)
 rename {.decvontainer => .devcontainer}/devcontainer.json (100%)
 rename {.decvontainer => .devcontainer}/scripts/install-subversion.sh (100%)

diff --git a/.decvontainer/Dockerfile b/.devcontainer/Dockerfile
similarity index 100%
rename from .decvontainer/Dockerfile
rename to .devcontainer/Dockerfile
diff --git a/.decvontainer/devcontainer-lock.json b/.devcontainer/devcontainer-lock.json
similarity index 100%
rename from .decvontainer/devcontainer-lock.json
rename to .devcontainer/devcontainer-lock.json
diff --git a/.decvontainer/devcontainer.json b/.devcontainer/devcontainer.json
similarity index 100%
rename from .decvontainer/devcontainer.json
rename to .devcontainer/devcontainer.json
diff --git a/.decvontainer/scripts/install-subversion.sh b/.devcontainer/scripts/install-subversion.sh
similarity index 100%
rename from .decvontainer/scripts/install-subversion.sh
rename to .devcontainer/scripts/install-subversion.sh