New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add the -principal flag to the build rules. #373

Merged

yallop merged 1 commit into yallop:master from yallop:principal

Apr 6, 2016

Owner

yallop commented Apr 6, 2016

No description provided.


          Add the -principal flag to the build rules.

a695911

coveralls commented Apr 6, 2016

Coverage remained the same at 87.922% when pulling a695911 on yallop:principal into 472481b on ocamllabs:master.

yallop merged commit c3348f9 into yallop:master

yallop deleted the principal branch

April 6, 2016 16:15

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment