summaryrefslogtreecommitdiff
path: root/templates/edit_page.html
diff options
context:
space:
mode:
authorMatthias Andreas Benkard <code@mail.matthias.benkard.de>2018-06-28 22:29:21 +0200
committerMatthias Andreas Benkard <code@mail.matthias.benkard.de>2018-06-28 22:29:21 +0200
commitd46a9126a63a31847a17fb7d5b0d6c5019873331 (patch)
treefd29977349c3b16699a177ddcf71c584465ad0d1 /templates/edit_page.html
parent43e782f4e53ff10511cde56742130cf7b7a9bf15 (diff)
Include lang-hs.js for prettyprinting.
Diffstat (limited to 'templates/edit_page.html')
-rw-r--r--templates/edit_page.html1
1 files changed, 1 insertions, 0 deletions
diff --git a/templates/edit_page.html b/templates/edit_page.html
index 37b72d1..09f037f 100644
--- a/templates/edit_page.html
+++ b/templates/edit_page.html
@@ -8,6 +8,7 @@
<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="/journal/prettify/lang-hs.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>