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.

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

Remove redundant .dom (== domain) properties in polys #308

Merged
merged 1 commit into from Jul 31, 2016

Conversation

1 participant
@skirpichev
Copy link
Collaborator

skirpichev commented Jul 6, 2016

No description provided.

@skirpichev skirpichev referenced this pull request Jul 6, 2016

Closed

polys todo #66

13 of 13 tasks complete

@skirpichev skirpichev force-pushed the skirpichev:remove-polys-dom branch from 9e8fd01 to bfe0af7 Jul 30, 2016

@skirpichev skirpichev merged commit a625bff into diofant:master Jul 31, 2016

2 of 3 checks passed

codecov/patch 73% of diff hit (target 90%)
Details
codecov/project 90% (-1%) compared to 7d8bf4f
Details
continuous-integration/travis-ci/pr The Travis CI build passed
Details

@skirpichev skirpichev deleted the skirpichev:remove-polys-dom branch Jul 31, 2016

@skirpichev skirpichev modified the milestone: 0.8.0 Sep 9, 2016

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