Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
cmake
cmake-library
Merge requests
!6
Replace Gurobi finder with much-improved version. Fixes
#1
.
Code
Review changes
Check out branch
Download
Email patches
Plain diff
Merged
Martin Heistermann
requested to merge
update-gurobi-finder
into
master
Feb 11, 2021
Overview
6
Commits
2
Pipelines
2
Changes
2