[Minotaur-dev] [minotaur-solver/minotaur] 7a8fe5: minor change

[Ashutosh Mahajan]

  Branch: refs/heads/master
  Home:   https://github.com/minotaur-solver/minotaur
  Commit: 7a8fe5395f9785d885eec7db86f3d8fdb52d3739
      https://github.com/minotaur-solver/minotaur/commit/7a8fe5395f9785d885eec7db86f3d8fdb52d3739
  Author: Ashutosh Mahajan <amahajan at iitb.ac.in>
  Date:   2019-07-26 (Fri, 26 Jul 2019)

  Changed paths:
    M Makefile.manual

  Log Message:
  -----------
  minor change


  Commit: a0cc41279f6ca7081c4206898104cf609709c36f
      https://github.com/minotaur-solver/minotaur/commit/a0cc41279f6ca7081c4206898104cf609709c36f
  Author: Ashutosh Mahajan <amahajan at iitb.ac.in>
  Date:   2019-07-26 (Fri, 26 Jul 2019)

  Changed paths:
    M src/algorithms/OA.cpp
    M src/engines/Cplex/CplexMILPEngine.cpp

  Log Message:
  -----------
  Merge branch 'master' of https://github.com/minotaur-solver/minotaur


Compare: https://github.com/minotaur-solver/minotaur/compare/72eb37431558...a0cc41279f6c