diff options
| author | Sheogorath | 2017-10-29 17:32:41 +0100 |
|---|---|---|
| committer | GitHub | 2017-10-29 17:32:41 +0100 |
| commit | f1475535a24d7cf61620656378da6bec718dd788 (patch) | |
| tree | 88a8fa22124fde26821d4a8f2603928b6bb8f18c /public/vendor/jquery-ui/jquery-ui.min.js | |
| parent | 862545fff772cd707ff529c2a14864288b5dbe5d (diff) | |
| parent | da2426ae3d1c3c38f2a1955a8b6955c11f523507 (diff) | |
Merge pull request #607 from PeterDaveHello/upgrade-mermaid
Upgrade mermaid to v7.1.0, fix #600
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions