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

six as external #8

Merged

flennerhag merged 2 commits into master from externals

Feb 5, 2017

Owner

flennerhag commented Feb 5, 2017

Six as direct source external


          six as external

6fa2d16

coveralls commented Feb 5, 2017

Coverage increased (+0.01%) to 96.584% when pulling 6fa2d16 on externals into 6632cb2 on master.


          ignore externals

580c665

coveralls commented Feb 5, 2017

Coverage increased (+0.01%) to 96.584% when pulling 580c665 on externals into 6632cb2 on master.

flennerhag merged commit c5d18d5 into master

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