Skip to content

chore(core, desktop, web-ui): remove Mermaid interactive editor#617

Merged
GCWing merged 1 commit into
mainfrom
chore/remove-mermaid-interactive-editor
May 9, 2026
Merged

chore(core, desktop, web-ui): remove Mermaid interactive editor#617
GCWing merged 1 commit into
mainfrom
chore/remove-mermaid-interactive-editor

Commits

Commits on May 9, 2026