Skip to content
Snippets Groups Projects
Commit 12377901 authored by Jan Möbius's avatar Jan Möbius
Browse files

Merge branch 'dev/silence-find-lpsolve' into 'master' 

Disable debug mode for LPSolve finder (was very verbose).

See merge request !14
parents 6ee6e9d3 f520aa2a
No related branches found
No related tags found
1 merge request!14Disable debug mode for LPSolve finder (was very verbose).
Pipeline #23416 failed
Stage: test