From 8c12a0ea31c49225df29bb1ad067a05dd7328e29 Mon Sep 17 00:00:00 2001
From: Lesenechal Remi <lesenechal.remi@gmail.com>
Date: Mon, 14 Oct 2019 17:45:52 +0200
Subject: [PATCH] git ingore .vscode

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

diff --git a/.gitignore b/.gitignore
index 682093b54..cf5ed1f94 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,3 +7,4 @@ Version.ml
 /_opam/
 /*.pp.ligo
 **/.DS_Store
+.vscode/
\ No newline at end of file