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

Removed nesting in project structure listing #1131

Merged
merged 2 commits into from
Jun 15, 2016

Conversation

mgttlinger
Copy link
Contributor

Is the project structure listing necessary at all given that nearly identical info is provided at the beginning?

@codecov-io
Copy link

codecov-io commented Jun 15, 2016

Current coverage is 88.96%

Merging #1131 into master will not change coverage

@@             master      #1131   diff @@
==========================================
  Files           227        227          
  Lines          2991       2991          
  Methods        2940       2940          
  Messages          0          0          
  Branches         48         48          
==========================================
  Hits           2661       2661          
  Misses          330        330          
  Partials          0          0          

Sunburst

Powered by Codecov. Last updated by 3c8f03c...80d8da2

@ceedubs
Copy link
Contributor

ceedubs commented Jun 15, 2016

👍

Is the project structure listing necessary at all given that nearly identical info is provided at the beginning?

I think that this is something that @non has cleaned up on a doc branch that he's going to submit a PR for soon.

@kailuowang
Copy link
Contributor

👍

@ceedubs ceedubs merged commit 1d62cf1 into typelevel:master Jun 15, 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.

4 participants