From ac3d4562a53e09746a10904e9807de0f918b0828 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin <Hugo.Herbelin@inria.fr>
Date: Sun, 21 Jan 2024 11:26:28 +0100
Subject: [PATCH] Adding .vscode to .gitignore

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

diff --git a/.gitignore b/.gitignore
index c880741..0afdffe 100644
--- a/.gitignore
+++ b/.gitignore
@@ -18,3 +18,4 @@ TAGS
 _build
 .lia.cache
 _minted*/
+.vscode