From 8edc922d9d6c918e1c076d1b153f9bbaca9100f7 Mon Sep 17 00:00:00 2001
From: Gaith Hallak <gaithhallak@gmail.com>
Date: Mon, 27 Nov 2023 11:36:02 +0300
Subject: [PATCH] Exclude .vscode in .gitignore

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 095c8b0..b0d35ee 100644
--- a/.gitignore
+++ b/.gitignore
@@ -24,3 +24,4 @@ current_counterexample.eqc
 test/contracts/test.aes
 __pycache__
 .docssite/docs/*.md
+.vscode