docfix/ update .gitignore to include metals.sbt

This commit is contained in:
hongwei 2025-10-17 09:45:02 +02:00
parent 3509314927
commit 9160c2b2e2

3
.gitignore vendored
View File

@ -37,4 +37,5 @@ marketing_diagram_generation/outputs/*
.bsp
.specstory
project/project
coursier
coursier
metals.sbt