7 commits

Author	SHA1	Message	Date
ed	1b9c913efb	update deps (marked, codemirror, prism)	2022-05-22 16:49:18 +02:00
ed	04b9e21330	update web-deps	2021-12-07 01:12:32 +01:00
ed	da904d6be8	upgrade marked.js from v1.1.0 to v3.0.4	2021-09-17 09:10:33 +02:00
ed	ee9c6dc8aa	use marked.js v1.1.0	2020-05-17 02:28:03 +02:00
ed	fc4d59d2d7	improve autoindent	2020-05-15 00:39:36 +02:00
ed	da1094db84	patches from marked.js/master	2020-05-03 20:54:38 +02:00
ed	334c07cc0c	add linetracking to marked.js	2020-04-29 20:29:05 +02:00