Commit 75c42b38 authored by Jan Möbius's avatar Jan Möbius
Browse files

Merge branch 'update-gurobi-cmake' into 'master'

Update GUROBI finder for 7.0

See merge request !187
parents ad7099a9 45a7fa70
Pipeline #3406 passed with stage
in 66 minutes and 15 seconds