Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update headers for Gurobi v11 release #528

Closed
wants to merge 5 commits into from
Closed

Update headers for Gurobi v11 release #528

wants to merge 5 commits into from

Commits on Oct 30, 2023

  1. Update scripts for v11

    @simonbowly
    simonbowly committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    82e0d1e View commit details
    Browse the repository at this point in the history

  2. Add autogenerated files for v11

    @simonbowly
    simonbowly committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    1ea1139 View commit details
    Browse the repository at this point in the history

  3. New version plumbing

    @simonbowly
    simonbowly committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    e46cfa8 View commit details
    Browse the repository at this point in the history

  4. add copyrights

    @simonbowly
    simonbowly committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    1ead993 View commit details
    Browse the repository at this point in the history

  5. Update version error message

    @simonbowly
    simonbowly committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    ff00205 View commit details
    Browse the repository at this point in the history