Skip to content

Get rid of hacky set_theme proc#113

Merged
rdbende merged 6 commits into
mainfrom
remove-set_theme-hack
Jul 26, 2023
Merged

Get rid of hacky set_theme proc#113
rdbende merged 6 commits into
mainfrom
remove-set_theme-hack

Conversation

@rdbende
Copy link
Copy Markdown
Owner

@rdbende rdbende commented Jul 26, 2023

Fixes #107

@rdbende rdbende linked an issue Jul 26, 2023 that may be closed by this pull request
@rdbende rdbende changed the base branch from v3 to main July 26, 2023 15:03
@rdbende rdbende mentioned this pull request Jul 26, 2023
@rdbende rdbende merged commit ea91020 into main Jul 26, 2023
@rdbende rdbende deleted the remove-set_theme-hack branch July 26, 2023 19:22
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.

Remove set_theme function hack

1 participant