From f1ca06daf5fc2447abe031fbfda6617586686832 Mon Sep 17 00:00:00 2001
From: Baptiste Augrain <daiyam@zokugun.org>
Date: Sat, 10 Nov 2018 12:33:07 +0100
Subject: [PATCH] fold markdown's headings

---
 lib/main.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/main.html b/lib/main.html
index 64add406..c47da9e4 100644
--- a/lib/main.html
+++ b/lib/main.html
@@ -117,6 +117,7 @@
   <script src="../node_modules/codemirror/addon/search/jump-to-line.js"></script>
 
   <script src="../node_modules/codemirror/addon/fold/brace-fold.js"></script>
+  <script src="../node_modules/codemirror/addon/fold/markdown-fold.js"></script>
   <script src="../node_modules/codemirror/addon/fold/foldgutter.js"></script>
   <script src="../node_modules/codemirror/addon/fold/foldcode.js"></script>