Fix gitignore for Metals via VS Code usage. (#266)

janjaali · web-flow · commit 89be31c7e479 · 2025-02-09T10:58:01.000+01:00
diff --git a/.gitignore b/.gitignore
@@ -11,5 +11,13 @@ target
 .bsp
 *.code-workspace
 .bloop
-.metals
 dumps
+
+# Metals
+.bloop
+.metals
+metals.sbt
+project/project
+
+# VS Code
+.vscode
