From 9883c440f420d8c41fc27184279dc96e90b1e1d8 Mon Sep 17 00:00:00 2001
From: Roberto Aloi <robertoaloi@users.noreply.github.com>
Date: Sat, 27 Jul 2019 09:43:37 +0200
Subject: [PATCH] [#22] Ignore coverdata files

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index f80366e5f..42977d7f0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -19,3 +19,4 @@ rebar3.crashdump
 .eqc-info
 .edts
 current_counterexample.eqc
+*.coverdata