[Minotaur-dev] [minotaur-solver/minotaur] 11e09c: CMake bugfix
GitHub
noreply at github.com
Thu Dec 14 23:18:46 CST 2017
Branch: refs/heads/master
Home: https://github.com/minotaur-solver/minotaur
Commit: 11e09cebcde7bd75a08c53fb9ff2e2967bbbfc1c
https://github.com/minotaur-solver/minotaur/commit/11e09cebcde7bd75a08c53fb9ff2e2967bbbfc1c
Author: Ashutosh Mahajan <amahajan at iitb.ac.in>
Date: 2017-12-15 (Fri, 15 Dec 2017)
Changed paths:
M CMakeLists.txt
Log Message:
-----------
CMake bugfix
More information about the Minotaur-dev
mailing list