diff --git a/project/.gitignore b/project/.gitignore new file mode 100644 index 000000000..fe879066c --- /dev/null +++ b/project/.gitignore @@ -0,0 +1 @@ +metals.sbt