Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
rename extra_highligh_themes to extra_syntaxes_and_themes (#1828)
extra_highligh_themes does not exist
- Loading branch information