.gitignore (.eca at root)

rtetley · Nov 17, 2021 · df78b65 · df78b65
1 parent f8d5b79
commit df78b65
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -4,6 +4,7 @@
 *.pyo
 
 /_build
+/etc
 /theories/attic
 
 /ec.*
@@ -12,6 +13,7 @@
 *.eco
 
 /*.ec
+/*.eca
 /*.smt
 /*.why