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

0 9 0 post release #1524

Merged
merged 3 commits into from
Jan 16, 2017
Merged

Conversation

adelbertc
Copy link
Contributor

No description provided.

@@ -81,20 +80,6 @@ we can without making unnecessary sacrifices of purity and
usability. Where sacrifices have to be made, we will strive to make
these obvious, and will keep them well documented.


### <a name="project-structure" href="#project-structure"></a>Project Structure
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I removed this section because it was redundant (and actually out of date) to the identical section we have above.

@codecov-io
Copy link

codecov-io commented Jan 16, 2017

Current coverage is 92.26% (diff: 100%)

Merging #1524 into master will not change coverage

@@             master      #1524   diff @@
==========================================
  Files           246        246          
  Lines          3763       3763          
  Methods        3638       3637     -1   
  Messages          0          0          
  Branches        125        126     +1   
==========================================
  Hits           3472       3472          
  Misses          291        291          
  Partials          0          0          

Powered by Codecov. Last update 68dfae1...0b61ae3

@kailuowang
Copy link
Contributor

👍

@kailuowang kailuowang merged commit 5b3a0f0 into typelevel:master Jan 16, 2017
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.

5 participants