[Minotaur-dev] [minotaur-solver/minotaur] fee696: options for cplex and gurobi in script for buildin...

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/minotaur-solver/minotaur
  Commit: fee696e91c55fd2cc00ac6d8795c09eb80de4251
      https://github.com/minotaur-solver/minotaur/commit/fee696e91c55fd2cc00ac6d8795c09eb80de4251
  Author: Ashutosh Mahajan <amahajan at iitb.ac.in>
  Date:   2018-05-18 (Fri, 18 May 2018)

  Changed paths:
    M third-party/build_third_party

  Log Message:
  -----------
  options for cplex and gurobi in script for building third-party



      **NOTE:** This service been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/

      Functionality will be removed from GitHub.com on January 31st, 2019.