17 lines
351 B
JSON
17 lines
351 B
JSON
{
|
|
"[ocaml]": {
|
|
"editor.tabSize": 2,
|
|
"editor.rulers": [
|
|
80
|
|
],
|
|
"editor.formatOnSave": true
|
|
},
|
|
"[ocaml.interface]": {
|
|
"editor.tabSize": 2,
|
|
"editor.rulers": [
|
|
80
|
|
],
|
|
"editor.formatOnSave": true
|
|
},
|
|
"sarif-viewer.connectToGithubCodeScanning": "off"
|
|
} |