New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Relax the Theme interface #5784

Merged

fzaninotto merged 1 commit into master from relax-theme-interface

Jan 15, 2021

Collaborator

djhi commented Jan 15, 2021 •

edited

Loading

It shouldn't be required as we merge the provided theme with our default anyway


          Relax the Theme interface

5b45218

djhi added this to the 3.11.3 milestone

fzaninotto approved these changes

View reviewed changes

fzaninotto merged commit 0b8426f into master

fzaninotto deleted the relax-theme-interface branch

January 15, 2021 16:57

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet