update -bs-assume-no-mli, -bs-no-implicit-include #861

Merged
merged 2 commits into from Oct 17, 2016

Projects

None yet

1 participant

@bobzhang
Contributor

No description provided.

@bobzhang bobzhang merged commit 2f04c22 into master Oct 17, 2016
@bobzhang bobzhang deleted the update_compiler_with_two_options branch Oct 17, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment