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
Added gitignore file to avoid accidentally adding the autogenerated files from metals and sbt.
Maybe helpful for others facing the same problem.