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

feat(theme): add gruvbox theme #16

Merged
merged 1 commit into from
Aug 29, 2018
Merged

Conversation

benjamingarcia
Copy link
Contributor

  • Please check if the PR fulfills these requirements
  • The commit message follows our guidelines
  • Docs have been added / updated in README.md (for features)
  • What kind of change does this PR introduce? (Bug fix, feature, docs update, ...)

  • What is the current behavior? (You can also link to an open issue here)

  • What is the new behavior (if this is a feature change)?

  • Does this PR introduce a breaking change? (What changes might users need to make in their configuration due to this PR?)

  • Other information:

@eendroroy eendroroy merged commit bb954c0 into eendroroy:master Aug 29, 2018
eendroroy added a commit that referenced this pull request Aug 29, 2018
feat(theme): add gruvbox theme
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.

2 participants