copy-paste-bookmarks/plugin/highlight
Hakim El Hattab db4aa0c2e7
Merge pull request #3019 from dabrahams/patch-3
Correct a comment
2022-03-21 09:41:05 +01:00
..
highlight.esm.js upgrade highlight.js line number plugin, adds support for line number offsets #3050 2021-11-10 21:41:13 +01:00
highlight.js upgrade highlight.js line number plugin, adds support for line number offsets #3050 2021-11-10 21:41:13 +01:00
monokai.css move highlight themes from lib/css/ to plugin/highlight/ 2020-05-19 11:02:59 +02:00
plugin.js Merge pull request #3019 from dabrahams/patch-3 2022-03-21 09:41:05 +01:00
zenburn.css move highlight themes from lib/css/ to plugin/highlight/ 2020-05-19 11:02:59 +02:00