tree: a3e40fc1bbdd2016bedf667b7805eeb99ec346bd [path history] [tgz]
  1. OWNERS
  2. README.md
  3. keybindings.json5
  4. launch.json5
  5. settings.json5
  6. tasks.json5
tools/vscode/README.md

Example settings for VSCode, to be adopted/moved into a src/.vscode or ~/.vscode directory. While these files are not spec-compliant json, they do indeed work with the VSCode settings. It's likely that VSCode has a custom JSON interpreter for this custom JSON format. Please refer to src/docs/vscode.md for more info.