Skip to content

Commit 93d42ff

Browse files
committed
Remove stale vscode settings
1 parent 114dca8 commit 93d42ff

File tree

3 files changed

+0
-188
lines changed

3 files changed

+0
-188
lines changed

.vscode/launch.json

Lines changed: 0 additions & 174 deletions
This file was deleted.

.vscode/settings.json

Lines changed: 0 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -1,16 +1,8 @@
11
{
22
"editor.formatOnSave": false,
3-
"[reason]": {
4-
"editor.formatOnSave": false
5-
},
63
"git.ignoreLimitWarning": true,
74
"git.enabled": true,
85
"editor.codeLens": true,
9-
// "reason_language_server.location": "./lib/bs/native/bin.native",
10-
"reason_language_server.location": "./bin.exe",
11-
// "reason_language_server.show_debug_errors": true,
12-
// "reason_language_server.location": "./lib/bs/native/bin.native.exe",
13-
// "reason_language_server.reloadOnChange": true,
146
"editor.tabSize": 2,
157
"workbench.settings.editor": "json",
168
"ocaml.sandbox": {

examples/example-project/.vscode/settings.json

Lines changed: 0 additions & 6 deletions
This file was deleted.

0 commit comments

Comments
 (0)