From a1a3ac2d687711b87841bf7695d3f36bf5759992 Mon Sep 17 00:00:00 2001 From: Tobit Flatscher <53856473+2b-t@users.noreply.github.com> Date: Sun, 2 Jul 2023 20:59:34 +0100 Subject: [PATCH] fix: Replace indentation with tabs with spaces --- .devcontainer/devcontainer.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 58e1e60..103d7ae 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -4,7 +4,7 @@ "../docker/docker-compose-gui.yml" // Alternatives: "../docker/docker-compose-gui.yml", "../docker/docker-compose-gui-nvidia.yml", "../docker/docker-compose-nvidia.yml" ], "service": "stereo_matching_docker", - "workspaceFolder": "/code/stereo_matching", + "workspaceFolder": "/code/stereo_matching", "shutdownAction": "stopCompose", "extensions": [ ]