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

Improve tools layer #1507

Merged
merged 11 commits into from Mar 18, 2018
Merged

Improve tools layer #1507

merged 11 commits into from Mar 18, 2018

Conversation

wsdjeg
Copy link
Member

@wsdjeg wsdjeg commented Mar 18, 2018

No description provided.

@ghost ghost assigned wsdjeg Mar 18, 2018
@ghost ghost added the WIP Work In Progress label Mar 18, 2018
@codecov
Copy link

codecov bot commented Mar 18, 2018

Codecov Report

Merging #1507 into master will decrease coverage by 0.53%.
The diff coverage is 25%.

@@            Coverage Diff             @@
##           master    #1507      +/-   ##
==========================================
- Coverage   27.37%   26.83%   -0.54%     
==========================================
  Files         241      241              
  Lines       11600    11596       -4     
==========================================
- Hits         3175     3112      -63     
- Misses       8425     8484      +59

@wsdjeg wsdjeg merged commit 8a79b07 into SpaceVim:master Mar 18, 2018
@ghost ghost removed the WIP Work In Progress label Mar 18, 2018
@wsdjeg wsdjeg deleted the tools branch March 18, 2018 11:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
1 participant