Skip to content

Element properties #33

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
Merged
willrogers merged 5 commits into from
Nov 10, 2017
Merged

Element properties #33

willrogers merged 5 commits into from
Nov 10, 2017

Conversation

@willrogers
Copy link
Collaborator

@willrogers willrogers commented Nov 10, 2017

No description provided.

@coveralls
Copy link

coveralls commented Nov 10, 2017 •
edited
Loading

Coverage Status

Coverage decreased (-0.03%) to 94.225% when pulling 7d5c880 on element-properties into 54302df on master.

@willrogers
Move Element _type property to public type_.
6f7794c 
The trailing underscore is to avoid the type keyword.
@coveralls
Copy link

coveralls commented Nov 10, 2017 •
edited
Loading

Coverage Status

Coverage decreased (-0.03%) to 94.225% when pulling 6f7794c on element-properties into 54302df on master.

@coveralls
Copy link

coveralls commented Nov 10, 2017 •
edited
Loading

Coverage Status

Coverage remained the same at 94.26% when pulling 4e95024 on element-properties into 54302df on master.

@willrogers willrogers merged commit 9bf76e4 into master Nov 10, 2017
@willrogers willrogers deleted the element-properties branch November 10, 2017 15:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@willrogers @coveralls