Skip to content

chore(docs): remove the pre-mike Sphinx site from the gh-pages root - #207

Open
LukasGold wants to merge 1 commit into
gh-pagesfrom
docs/prune-gh-pages-root
Open

chore(docs): remove the pre-mike Sphinx site from the gh-pages root#207
LukasGold wants to merge 1 commit into
gh-pagesfrom
docs/prune-gh-pages-root

Commits

Commits on Sep 22, 2026