Add VSCode directory

This commit is contained in:
Mylloon 2023-09-19 16:11:36 +02:00
parent 6cd4269eee
commit febe39c051
Signed by: Anri
GPG key ID: A82D63DFF8D1317F
2 changed files with 11 additions and 0 deletions

3
ocaml/.vscode/extensions.json vendored Normal file
View file

@ -0,0 +1,3 @@
{
"recommendations": ["ocamllabs.ocaml-platform"]
}

8
ocaml/.vscode/settings.json vendored Normal file
View file

@ -0,0 +1,8 @@
{
"editor.tabSize": 2,
"editor.insertSpaces": false,
"files.insertFinalNewline": true,
"files.trimFinalNewlines": true,
"files.trimTrailingWhitespace": true
}