From e438c2e5ca27b862c0b2589907b5b16303eb936e Mon Sep 17 00:00:00 2001
From: Rawley <75388349+rawleyfowler@users.noreply.github.com>
Date: Sun, 6 Nov 2022 20:04:48 -0600
Subject: [PATCH] Delete .vscode directory

---
 .vscode/settings.json | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 .vscode/settings.json

diff --git a/.vscode/settings.json b/.vscode/settings.json
deleted file mode 100644
index 74ba5ee..0000000
--- a/.vscode/settings.json
+++ /dev/null
@@ -1,5 +0,0 @@
-{
-  "ocaml.sandbox": {
-    "kind": "global"
-  }
-}
\ No newline at end of file