From 6dce6cc0c69ac0796d0e791033edb01313ce4107 Mon Sep 17 00:00:00 2001
From: adamw <adam@warski.org>
Date: Fri, 6 Dec 2024 11:37:51 +0100
Subject: [PATCH] Metals setup

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

diff --git a/.gitignore b/.gitignore
index 55e2e1022..bcc0cf180 100644
--- a/.gitignore
+++ b/.gitignore
@@ -9,3 +9,6 @@ data/
 *.bloop
 *.metals
 .bsp
+
+metals.sbt
+.vscode