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 |
|