Merge remote-tracking branch 'origin/v92-bugfix' into v9-minor

scipopt · Nov 12, 2024 · 5cbbebf · 5cbbebf
2 parents e606404 + e90c59a
commit 5cbbebf
Showing 1 changed file with 1 addition and 5 deletions.
diff --git 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