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

fix ref to non-existent dir in contributing #1547

Merged
merged 1 commit into from
Mar 1, 2017

Conversation

sullivan-
Copy link
Contributor

it seems as if there are no static pages any more in the website.

I added a path to the menu file instead, as it might help to give people a lead on how the menus are
constructed.

it seems as if there are no static pages any more in the website.

I added a path to the menu file instead, as it might help to give people a lead on how the menus are
constructed.
@codecov-io
Copy link

codecov-io commented Mar 1, 2017

Codecov Report

Merging #1547 into master will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master    #1547   +/-   ##
=======================================
  Coverage   92.48%   92.48%           
=======================================
  Files         246      246           
  Lines        3885     3885           
  Branches      133      132    -1     
=======================================
  Hits         3593     3593           
  Misses        292      292

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update a0c6f59...d778ad1. Read the comment docs.

@kailuowang
Copy link
Contributor

👍 thanks!

@kailuowang kailuowang merged commit 91d8858 into typelevel:master Mar 1, 2017
@kailuowang kailuowang modified the milestone: 1.0.0-MF Apr 26, 2017
@sullivan-
Copy link
Contributor Author

Something about this merge looks a little suspicious to me...

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