Skip to content

define html_theme as rtd workaround#49

Merged
mmckerns merged 1 commit intomasterfrom rtdhtmlthemeAug 26, 2023

Commits

Commits on Aug 26, 2023