10 commits

Author	SHA1	Message	Date
ed	f1775fd51c	update deps	2023-04-01 15:15:53 +00:00
ed	4242422898	update deps: marked.js, codemirror	2022-12-02 21:39:04 +00:00
ed	190e11f7ea	update deps + misc	2022-06-16 21:43:40 +02:00
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