Skip to content

Move custom_admonitions monkey patching out of extension setup function#212

Merged
jbms merged 1 commit intomainfrom fix-admonition-monkey-patchingJan 22, 2023

Commits

Commits on Jan 22, 2023