Merge remote-tracking branch 'origin/v9-minor'

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