Skip to content
This repository has been archived by the owner on Apr 26, 2019. It is now read-only.

chore: updated copyright headers #15

Merged
merged 1 commit into from Jul 9, 2018
Merged

chore: updated copyright headers #15

merged 1 commit into from Jul 9, 2018

Conversation

dingwilson
Copy link
Contributor

No description provided.

@coveralls
Copy link

Coverage Status

Coverage remained the same at 92.683% when pulling 9be472d on docs into ddd0122 on master.

@dingwilson dingwilson merged commit e8e72aa into master Jul 9, 2018
@dingwilson dingwilson deleted the docs branch July 9, 2018 16:43
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants