From a860dc9bf2c1f3fb3f4317f7c55598681673e4f8 Mon Sep 17 00:00:00 2001
From: Dominik Kamp <dominik.kamp@uni-bayreuth.de>
Date: Tue, 12 Nov 2024 17:55:42 +0100
Subject: [PATCH] Unignore coverage settings

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

diff --git a/.gitignore b/.gitignore
index 132bd0f0e0..a9995012a2 100644
--- a/.gitignore
+++ b/.gitignore
@@ -38,10 +38,6 @@ check/LP
 check/instancedata
 check/solchecker/doc/doc/
 
-# ignore check/coverage but not check/coverage/settings
-check/coverage/
-!check/coverage/settings
-
 # vim swap files
 .*.swp
 
@@ -86,7 +82,7 @@ localhooks/
 # created when packaging, don't version control this
 src/scip/githash.c
 
-# settings
+# settings, except for check/coverage/settings
 settings/
 !check/coverage/settings