Update settings

2024-12-01 18:05:12 +00:00
parent 8f93836f48
commit 74109e66e1
3 changed files with 19 additions and 0 deletions
@@ -1 +1,2 @@
 _build/
+input.txt
@@ -0,0 +1 @@
+version = 0.26.2
@@ -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"
+}