Skip to content

Commit

Permalink
[#22] Ignore coverdata files
Browse files Browse the repository at this point in the history
  • Loading branch information
robertoaloi committed Jul 27, 2019
1 parent a8013ec commit 9883c44
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions .gitignore
Expand Up @@ -19,3 +19,4 @@ rebar3.crashdump
.eqc-info
.edts
current_counterexample.eqc
*.coverdata

0 comments on commit 9883c44

Please sign in to comment.