From 99448920de7fd99deff0ff0767b639187304010f Mon Sep 17 00:00:00 2001 From: mertcan <149396759+Puncist@users.noreply.github.com> Date: Thu, 10 Oct 2024 11:36:58 +0200 Subject: [PATCH] now git ignores coverage output (#1127) Co-authored-by: = --- developer-doc/.gitignore | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/developer-doc/.gitignore b/developer-doc/.gitignore index 975bc156cc..42e5b08651 100644 --- a/developer-doc/.gitignore +++ b/developer-doc/.gitignore @@ -5,5 +5,6 @@ /*PP.txt /links-to-user-manual.md /plumedcheck.md -/coverage +/coverage*/ +/coverage*