This repository has been archived on 2023-03-18. You can view files and clone it, but cannot push or open issues or pull requests.

Joffrey JAFFEUX f3dee5863f FIX: pins down highlight.js to the last commit of the v9 tree (#9921) ... The 10+ version has actually a bug with bash. We will wait a little bit before upgrading to 10, we should also make sure any of the breaking changes listed here https://github.com/highlightjs/highlight.js/blob/master/VERSION_10_BREAKING_CHANGES.md are not impacting us.		2020-05-29 10:21:21 +02:00
..
languages	FIX: pins down highlight.js to the last commit of the v9 tree (#9921)	2020-05-29 10:21:21 +02:00
highlight.min.js	FIX: pins down highlight.js to the last commit of the v9 tree (#9921)	2020-05-29 10:21:21 +02:00