From c22c1b0310d62e68309c853ba695f15c64bf4ed6 Mon Sep 17 00:00:00 2001
From: Ali Caglayan <alizter@gmail.com>
Date: Sat, 26 Aug 2023 17:03:41 +0100
Subject: [PATCH] chore: add .vscode/ to .gitignore

This directory should be hidden from git as it is created by vscode when
any local configuration is done. This will save vscode users from having
to cleanup all the time.

Signed-off-by: Ali Caglayan <alizter@gmail.com>
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 538cd7953f5..2c66fe970ee 100644
--- a/.gitignore
+++ b/.gitignore
@@ -38,6 +38,7 @@ _ocamltestd
 .merlin
 _build
 META
+.vscode
 
 # local to root directory