blob: dc2d3c39cf5560ca9701591460d0f4892bdcc292 [file] [log] [blame] [view] [edit]
You can use `settings.json`/`tasks.json` in this directory for personal settings.
To edit the default settings, modify `cts.code-workspace`, which is checked into the repository.
Note: VS Code's setting precedence is `.vscode/` > `cts.code-workspace` > global user settings.