Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Alphabetize project list #1241

Merged
merged 1 commit into from
Jul 28, 2016
Merged

Alphabetize project list #1241

merged 1 commit into from
Jul 28, 2016

Conversation

adelbertc
Copy link
Contributor

No description provided.

@kailuowang
Copy link
Contributor

👍

@codecov-io
Copy link

Current coverage is 90.37% (diff: 100%)

Merging #1241 into master will increase coverage by 0.23%

@@             master      #1241   diff @@
==========================================
  Files           243        243          
  Lines          3284       3334    +50   
  Methods        3228       3281    +53   
  Messages          0          0          
  Branches         53         53          
==========================================
+ Hits           2960       3013    +53   
+ Misses          324        321     -3   
  Partials          0          0          

Sunburst

Powered by Codecov. Last update 56e7bed...a3bcdef

@adelbertc adelbertc merged commit 0ab7077 into typelevel:master Jul 28, 2016
@stew stew removed the in progress label Jul 28, 2016
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants