Merge pull request #1297 from ucb-bar/more-ignore

More files to gitignore
ucb-bar · Dec 27, 2022 · 32b5e8a · 32b5e8a
2 parents 6904426 + a6771ca
commit 32b5e8a
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -19,3 +19,8 @@ tags
 .conda-env/
 .#*
 first-clone-setup-fast-log
+.bloop/
+.metals/
+project/.bloop/
+project/metals.sbt
+project/project/