[Minotaur-dev] [minotaur-solver/minotaur] d2527b: minor documentation changes
GitHub
noreply at github.com
Tue Dec 19 04:22:11 CST 2017
Branch: refs/heads/master
Home: https://github.com/minotaur-solver/minotaur
Commit: d2527b6e3c4f9b8787dcdf563903868227ed6795
https://github.com/minotaur-solver/minotaur/commit/d2527b6e3c4f9b8787dcdf563903868227ed6795
Author: Ashutosh Mahajan <amahajan at iitb.ac.in>
Date: 2017-12-19 (Tue, 19 Dec 2017)
Changed paths:
M doc/doxyfile
M doc/mainpage.h
M scripts/build_externals
Log Message:
-----------
minor documentation changes
More information about the Minotaur-dev
mailing list