From 65504bd41589494c22c2bcb3d06be40aec6efc7e Mon Sep 17 00:00:00 2001
From: Felix Divo <felix.divo@cs.tu-darmstadt.de>
Date: Sat, 4 Jan 2025 13:23:24 +0000
Subject: [PATCH] Update developer plugin

---
 .devcontainer/devcontainer.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
index 2703c44..d48f95e 100644
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@@ -9,7 +9,7 @@
       "extensions": [
         "ms-python.python",
         "redhat.vscode-yaml",
-        "bungcip.better-toml",
+        "tamasfe.even-better-toml",
         "trond-snekvik.simple-rst",
         "GitHub.vscode-github-actions",
         "charliermarsh.ruff"