Skip to content
This repository was archived by the owner on Apr 24, 2021. It is now read-only.

Commit 3eb8d7e

Browse files
committed
Remove stale vscode settings
1 parent 84f74b8 commit 3eb8d7e

File tree

3 files changed

+0
-188
lines changed

3 files changed

+0
-188
lines changed

.vscode/launch.json

-174
This file was deleted.

.vscode/settings.json

-8
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

-6
This file was deleted.

0 commit comments

Comments
 (0)