Closed tdegueul closed 1 year ago
Commit 9d7e7c6 (mistakenly?) renamed the themes from
Gruvbox
toGrubvox
. This pull request renames them back to the originalGruvbox
.
It was a mistake I was aware of, I mean, I noticed I had spelt it wrong, but I was so focused on fixing the bugs that I forgot to change it xD
Anyway, thanks }:-]
Commit 9d7e7c690724fb377c220632cd790a4b4be921b6 (mistakenly?) renamed the themes from
Gruvbox
toGrubvox
. This pull request renames them back to the originalGruvbox
.