Update docs

This commit is contained in:
2020-11-06 13:44:17 -06:00
parent 712742a518
commit 100c4267e4
9 changed files with 129 additions and 605 deletions

View File

@@ -133,6 +133,8 @@
<script src="//cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.18.0/build/highlight.min.js"></script>
<script src="//cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.18.0/build/languages/julia.min.js"></script>
<script>hljs.initHighlightingOnLoad();</script>