From e42a336dfeed8db98f0da0d7e6a2f75bd075c998 Mon Sep 17 00:00:00 2001
From: Jakub Wojnowski <29680262+jwojnowski@users.noreply.github.com>
Date: Sat, 6 Jul 2024 01:38:09 +0200
Subject: [PATCH] =?UTF-8?q?=F0=9F=99=88=20Add=20metals=20to=20gitignore?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 .gitignore | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.gitignore b/.gitignore
index 1a839f9..bbff4c2 100644
--- a/.gitignore
+++ b/.gitignore
@@ -150,3 +150,8 @@ hs_err_pid*
 
 # End of https://www.gitignore.io/api/java,scala,intellij+iml,osx,linux,sbt
 #---
+
+# metals
+.metals/
+metals.sbt
+.vscode