minotaur icon indicating copy to clipboard operation
minotaur copied to clipboard

Published 20 hours ago • verified publisher icon coin-or

Remove unused large files from repository

Open ashutoshmahajan opened this issue 4 years ago • 0 comments

Files from examples/minlplib, instances/, third-party/minotaur-0.2.3-third-party-src/ and third-party/minotaur-0.2.3-third-party-src.tar.gz should be removed from the repository history (not just git rm). These are relatively heavy and not required any more.

ashutoshmahajan avatar Apr 16 '20 09:04 ashutoshmahajan