From bc5637d1ef0464479ee1ff26f268b13ea81b8c6c Mon Sep 17 00:00:00 2001
From: Sidney Congard
Date: Mon, 23 May 2022 14:24:19 +0200
Subject: added .vscode folder to .gitignore

---
 .gitignore | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 98ac319e..88ad25a5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -35,7 +35,8 @@ rust-tests/target/
 /fstar-tests
 *~
 nohup.out
-.ocamlformat
+.ocamlformat"
+.vscode
 *#
 *.lock
 *.txt
-- 
cgit v1.2.3