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 homepage docs #1403

Merged
merged 2 commits into from
Oct 19, 2016
Merged

Conversation

pepegar
Copy link
Contributor

@pepegar pepegar commented Oct 11, 2016

Previously, Getting Started and Motivations headers didn't look
correctly because of the spacing.

Before:

screen shot 2016-10-11 at 09 53 00

After:

screen shot 2016-10-11 at 09 53 16

Previously, _Getting Started_ and _Motivations_ headers didn't look
correctly because of the spacing.
@codecov-io
Copy link

codecov-io commented Oct 11, 2016

Current coverage is 91.68% (diff: 100%)

Merging #1403 into master will decrease coverage by <.01%

@@             master      #1403   diff @@
==========================================
  Files           240        240          
  Lines          3610       3608     -2   
  Methods        3546       3540     -6   
  Messages          0          0          
  Branches         63         67     +4   
==========================================
- Hits           3310       3308     -2   
  Misses          300        300          
  Partials          0          0          

Powered by Codecov. Last update a392654...b9fce6a

@kailuowang
Copy link
Contributor

👍

@peterneyens
Copy link
Collaborator

Thanks @pepegar.

It seems we have the same problem in the Efficiency section with Project Structure and Copyright and License. Would you like to fix those as well in this PR ?

@pepegar
Copy link
Contributor Author

pepegar commented Oct 19, 2016

Sure!

@peterneyens
Copy link
Collaborator

Thanks for the quick addition. 👍

@peterneyens peterneyens merged commit 9f981b1 into typelevel:master Oct 19, 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