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

More files to gitignore
This commit is contained in:
Abraham Gonzalez
2022-12-27 15:31:59 -07:00
committed by GitHub

5
.gitignore vendored
View File

@@ -19,3 +19,8 @@ tags
.conda-env/
.#*
first-clone-setup-fast-log
.bloop/
.metals/
project/.bloop/
project/metals.sbt
project/project/