From 3ceadb120803c7e5c61f5ce08f4dbca02d3fb466 Mon Sep 17 00:00:00 2001
From: jordao <jordao@kth.se>
Date: Mon, 31 Jul 2023 13:52:55 +0200
Subject: [PATCH] updated git ignore

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

diff --git a/.gitignore b/.gitignore
index 677adc44..b0dc794a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -11,6 +11,9 @@ run*/
 ### Bloop ###
 .bloop/
 
+### Metals ###
+.metals/
+
 ### Eclipse ###
 .metadata
 bin/