Skip to content
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

Cleaning up documentation Summary.md #82

Merged
merged 1 commit into from
Dec 5, 2016

Conversation

imarios
Copy link
Contributor

@imarios imarios commented Dec 5, 2016

No description provided.

@codecov-io
Copy link

codecov-io commented Dec 5, 2016

Current coverage is 89.80% (diff: 100%)

Merging #82 into master will not change coverage

@@             master        #82   diff @@
==========================================
  Files            25         25          
  Lines           471        471          
  Methods         464        464          
  Messages          0          0          
  Branches          7          7          
==========================================
  Hits            423        423          
  Misses           48         48          
  Partials          0          0          

Powered by Codecov. Last update 17896eb...b12e52a

@adelbertc adelbertc merged commit 98e5a4e into typelevel:master Dec 5, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants