PR #7721 Remove the typeset plugin

Remove the typeset plugin #7721

zanieb merged 1 commit into main from zb/mkdocs-fix

Remove the typeset plugin

d1d75a44

zanieb added documentation

charliermarsh approved these changes on 2024-09-26

zanieb merged 5e64dac7 into main 1 year ago

zanieb deleted the zb/mkdocs-fix branch 1 year ago

Reviewers

charliermarsh

Assignees

No one assigned

Labels

documentation

Milestone

No milestone