From febe39c0512564358b03ed6433f3061002862e00 Mon Sep 17 00:00:00 2001 From: Mylloon Date: Tue, 19 Sep 2023 16:11:36 +0200 Subject: [PATCH] Add VSCode directory --- ocaml/.vscode/extensions.json | 3 +++ ocaml/.vscode/settings.json | 8 ++++++++ 2 files changed, 11 insertions(+) create mode 100644 ocaml/.vscode/extensions.json create mode 100644 ocaml/.vscode/settings.json diff --git a/ocaml/.vscode/extensions.json b/ocaml/.vscode/extensions.json new file mode 100644 index 0000000..c0dced2 --- /dev/null +++ b/ocaml/.vscode/extensions.json @@ -0,0 +1,3 @@ +{ + "recommendations": ["ocamllabs.ocaml-platform"] +} diff --git a/ocaml/.vscode/settings.json b/ocaml/.vscode/settings.json new file mode 100644 index 0000000..f9604d4 --- /dev/null +++ b/ocaml/.vscode/settings.json @@ -0,0 +1,8 @@ +{ + "editor.tabSize": 2, + "editor.insertSpaces": false, + + "files.insertFinalNewline": true, + "files.trimFinalNewlines": true, + "files.trimTrailingWhitespace": true +}