Update VS Code settings.

This commit is contained in:
2024-12-01 20:23:18 +00:00
parent 55cb4fbde1
commit 47e1367fa3

View File

@@ -13,5 +13,9 @@
],
"editor.formatOnSave": true
},
"sarif-viewer.connectToGithubCodeScanning": "off"
"sarif-viewer.connectToGithubCodeScanning": "off",
"ocaml.sandbox": {
"kind": "opam",
"switch": "${workspaceFolder:ocaml-aoc}"
}
}