Sergei Gnezdov chore: update version of mermaid to 10.9.1 (#7760) | 4 months ago | |
---|---|---|
.. | ||
autosize-4.0.2 | 6 years ago | |
codemirror-5.17.0 | 3 years ago | |
dropzone-5.5.0 | 4 years ago | |
highlight-9.18.0 | 4 years ago | |
jquery.datetimepicker-2.4.5 | 8 years ago | |
jquery.minicolors-2.2.3 | 8 years ago | |
marked-0.8.1 | 4 years ago | |
mermaid-10.9.1 | 4 months ago | |
notebookjs-0.4.2 | 4 years ago | |
pdfjs-1.4.20 | 3 years ago | |
simplemde-1.10.1 | 8 years ago |