From d804bbf6a3638b2c38db8403d43bc4e0587d2226 Mon Sep 17 00:00:00 2001
From: Millian Poquet <millian.poquet@irit.fr>
Date: Mon, 9 Jan 2023 11:04:42 +0100
Subject: [PATCH] misc: gitignore

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

diff --git a/.gitignore b/.gitignore
index c2538ab..7293b2b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,3 +4,4 @@ test-out
 test-instances
 cover
 result
+.vscode
-- 
GitLab