Hugues Verlin

Only configure extensions if the tool is used in the workspace

13

Currently, the `settings.json` file is updated if any combination of tool + VSCode extension is present which might cause unnecessary updates of the `.vscode/settings.json` file From mise discord: > i...