Update git ignore

project-fifo · Apr 24, 2017 · bec9bb8 · bec9bb8
1 parent 54eb688
commit bec9bb8
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -8,3 +8,8 @@ priv
 *.plt
 *~
 _build
+.DS_Store
+.eqc-info
+.eqc/
+.rebar3/
+current_counterexample.eqc