From 4e1b9da25781efa96ffe63b16cc0b806b39f0813 Mon Sep 17 00:00:00 2001 From: Alexandre Date: Mon, 27 Nov 2023 11:33:33 +0100 Subject: [PATCH] update --- .devcontainer/devcontainer.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 4bddb45d4a7..2e81bfe7803 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -21,4 +21,4 @@ "editor.formatOnType": true, "files.trimTrailingWhitespace": true } -} +} \ No newline at end of file