From 36d2e6731936f153008ae14536db20532b7a8ebc Mon Sep 17 00:00:00 2001 From: Brian Kroth Date: Thu, 18 Jan 2024 18:15:50 -0600 Subject: [PATCH] Fixup a vscode config file. (#643) The rest of the repo configs are not prepared to handle separate workspaces for the different modules (e.g., linting rules break and fail to find the right config files). So for now we back this change out in a way that seems more friendly with existing vscodes. --- mlos.code-workspace | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/mlos.code-workspace b/mlos.code-workspace index dd0f7dfd34..99b8785380 100644 --- a/mlos.code-workspace +++ b/mlos.code-workspace @@ -2,7 +2,8 @@ "folders": [ { "path": "." - }, + } + /* { "path": "mlos_core" }, @@ -12,5 +13,6 @@ { "path": "mlos_viz" } + */ ] }