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

Change default font #2373

Merged
merged 5 commits into from
Dec 23, 2018
Merged

Change default font #2373

merged 5 commits into from
Dec 23, 2018

Conversation

wsdjeg
Copy link
Member

@wsdjeg wsdjeg commented Dec 23, 2018

PR Prelude

Thank you for working on SpaceVim! :)

Please complete these steps and check these boxes before filing your PR:

  • I have read and understood SpaceVim's CONTRIBUTING document.
  • I have read and understood SpaceVim's CODE_OF_CONDUCT document.
  • I have updated the Following-HEAD page for this PR.
  • I understand my PR may be closed if it becomes obvious I didn't actually perform all of these steps.

Why this change is necessary and useful?

[Please explain in detail why the changes in this PR are needed.]

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

codecov bot commented Dec 23, 2018

Codecov Report

Merging #2373 into master will decrease coverage by 0.01%.
The diff coverage is 0%.

@@            Coverage Diff             @@
##           master    #2373      +/-   ##
==========================================
- Coverage   25.55%   25.54%   -0.02%     
==========================================
  Files         277      277              
  Lines       14112    14122      +10     
==========================================
  Hits         3607     3607              
- Misses      10505    10515      +10

@wsdjeg wsdjeg merged commit df4810f into SpaceVim:master Dec 23, 2018
@ghost ghost removed the WIP Work In Progress label Dec 23, 2018
@wsdjeg wsdjeg deleted the github_issue branch December 23, 2018 13:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

1 participant