Add .metals and .vscode to gitignore

apalache-mc · May 11, 2022 · 8f48e88 · 8f48e88
1 parent 3f98aa0
commit 8f48e88
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -5,6 +5,8 @@ target/
 .directory
 .bsp
 .bloop
+.metals
+.vscode
 
 # output files produced by Apalache
 *.out