Skip to content

chore(docs): Revert bump of pygment for mkdocs#1303

Merged
krizzu merged 1 commit into
mainfrom
docs/fix-docs
May 21, 2026
Merged

chore(docs): Revert bump of pygment for mkdocs#1303
krizzu merged 1 commit into
mainfrom
docs/fix-docs