Skip to content
This repository has been archived by the owner on Jul 12, 2022. It is now read-only.

[#16] Use better parameter names #17

Merged
merged 1 commit into from
Oct 11, 2017
Merged

[#16] Use better parameter names #17

merged 1 commit into from
Oct 11, 2017

Conversation

rlespinasse
Copy link
Owner

Closes #16

@rlespinasse rlespinasse self-assigned this Oct 11, 2017
@rlespinasse rlespinasse merged commit 01b43a0 into master Oct 11, 2017
@rlespinasse rlespinasse deleted the renaming branch October 11, 2017 18:30
@coveralls
Copy link

Coverage Status

Coverage remained the same at 100.0% when pulling 743eecb on renaming into 9022568 on master.

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

Successfully merging this pull request may close these issues.

None yet

2 participants