The source project of this merge request has been removed.
Added gitignore file
Added gitignore file to avoid accidentally adding the autogenerated files from metals and sbt.
Maybe helpful for others facing the same problem.
Edited by Samuel Hufen