Skip to content
This repository has been archived by the owner on Oct 19, 2021. It is now read-only.

Rename Hexp::Node::Selector to Hexp::Node::Selection. #20

Merged
merged 1 commit into from
Sep 1, 2013

Conversation

stefanozanella
Copy link
Contributor

Closes #11.

Also, update some random documentation and rename files accordingly.
@coveralls
Copy link

Coverage Status

Coverage decreased (-0.03%) when pulling ffdec29 on stefanozanella:rename_selector into d366c75 on plexus:master.

plexus added a commit that referenced this pull request Sep 1, 2013
Rename `Hexp::Node::Selector` to `Hexp::Node::Selection`.
@plexus plexus merged commit cf25fdb into plexus:master Sep 1, 2013
@plexus
Copy link
Owner

plexus commented Sep 1, 2013

thanks!

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Rename Selector to Selection
3 participants