search

redmica / redmica_ui_extension

This plugin adds useful UI improvements to RedMica.
GNU General Public License v2.0
41 stars 12 forks source link

Update mermaid.js 8.8.4 #46

Closed ishikawa999 closed 1 year ago