Merge pull request #1486 from informalsystems/romac/gitignore-apalache

Add Apalache output directory to `.gitignore`
informalsystems · Aug 22, 2024 · eb2c802 · eb2c802
2 parents 89db9d7 + c63e16a
commit eb2c802
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -7,3 +7,4 @@ client/server
 *.vsix
 _build
 .DS_Store
+_apalache-out/