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 | |
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