diff --git a/.gitignore b/.gitignore
index a9bb3df9d7..a431ba71cc 100644
--- a/.gitignore
+++ b/.gitignore
@@ -39,10 +39,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
 
@@ -87,7 +83,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