aboutsummaryrefslogtreecommitdiff
path: root/mdbook/proposals/mermaid-init.js
AgeCommit message (Collapse)Author
2023-11-09build_html: use mdbook_mermaid when available.Nick Mathewson
This is much more convenient for folks who don't want to mess with the jenga tower that is mermaid-cli.