From 9e172a7bb39d6226dcb976beb54245815e9427e1 Mon Sep 17 00:00:00 2001 From: Matthijs van den Bos Date: Sat, 8 Jun 2019 02:09:07 +0200 Subject: [PATCH] WIP --- bin/coverage-check.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/coverage-check.php b/bin/coverage-check.php index ffd44df..5ed3e73 100644 --- a/bin/coverage-check.php +++ b/bin/coverage-check.php @@ -1,5 +1,5 @@