From 74109e66e15c24ddca61717c2fe3361fc7f784f4 Mon Sep 17 00:00:00 2001
From: Matthew Gretton-Dann <matt@gretton-dann.org.uk>
Date: Sun, 1 Dec 2024 18:05:12 +0000
Subject: [PATCH] Update settings

---
 .gitignore            |  1 +
 .ocamlformat          |  1 +
 .vscode/settings.json | 17 +++++++++++++++++
 3 files changed, 19 insertions(+)
 create mode 100644 .ocamlformat
 create mode 100644 .vscode/settings.json

diff --git a/.gitignore b/.gitignore
index 69fa449..b4d0dc9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,2 @@
 _build/
+input.txt
diff --git a/.ocamlformat b/.ocamlformat
new file mode 100644
index 0000000..8a3b53e
--- /dev/null
+++ b/.ocamlformat
@@ -0,0 +1 @@
+version = 0.26.2
diff --git a/.vscode/settings.json b/.vscode/settings.json
new file mode 100644
index 0000000..e13468a
--- /dev/null
+++ b/.vscode/settings.json
@@ -0,0 +1,17 @@
+{
+    "[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"
+}
\ No newline at end of file