Skip to content

Update deprecated sphinx-rtd-docs theme options#1483

Merged
JonnyWong16 merged 1 commit intopushingkarmaorg:masterfrom
JonnyWong16:bugfix/sphinx_rtd_theme
Nov 16, 2024

Commits

Commits on Nov 16, 2024