From f88cc99b19b6b570dfab0c176e94f64a061fccc3 Mon Sep 17 00:00:00 2001
From: Tom Sydney Kerckhove <syd@cs-syd.eu>
Date: Thu, 12 Oct 2023 17:03:03 +0200
Subject: [PATCH] don't commit coverage

---
 feedback-test-harness/.gitignore   | 3 ++-
 feedback-test-harness/coverage.dat | 0
 2 files changed, 2 insertions(+), 1 deletion(-)
 delete mode 100644 feedback-test-harness/coverage.dat

diff --git a/feedback-test-harness/.gitignore b/feedback-test-harness/.gitignore
index c368d45..5a6e7f3 100644
--- a/feedback-test-harness/.gitignore
+++ b/feedback-test-harness/.gitignore
@@ -1,2 +1,3 @@
 .stack-work/
-*~
\ No newline at end of file
+*~
+coverage.dat
diff --git a/feedback-test-harness/coverage.dat b/feedback-test-harness/coverage.dat
deleted file mode 100644
index e69de29..0000000