diff options
| author | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2018-06-28 22:25:24 +0200 |
|---|---|---|
| committer | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2018-06-28 22:25:24 +0200 |
| commit | 43e782f4e53ff10511cde56742130cf7b7a9bf15 (patch) | |
| tree | 82070c29f54d996a48f2bc9a6225511529dca2e7 /templates/edit_page.html | |
| parent | 227044bd9d43552920797670a814d39c0bf63d3b (diff) | |
Include lang-rust.js for prettyprinting.
Diffstat (limited to 'templates/edit_page.html')
| -rw-r--r-- | templates/edit_page.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/templates/edit_page.html b/templates/edit_page.html index 7697823..37b72d1 100644 --- a/templates/edit_page.html +++ b/templates/edit_page.html @@ -7,6 +7,7 @@ href="/journal/wymeditor/skins/seamless/skin.css"/> <script type="text/javascript" src="/journal/prettify/prettify.js"></script> <script type="text/javascript" src="/journal/prettify/lang-lisp.js"></script> + <script type="text/javascript" src="/journal/prettify/lang-rust.js"></script> <script type="text/javascript" src="/js/jquery.js"></script> <script type="text/javascript" src="/js/jquery-migrate-3.0.0.min.js"></script> <script type="text/javascript" src="/journal/wymeditor/jquery.wymeditor.min.js"></script> |