Marius van der Wijden 3ffad7ec30 docs: remove old syntax highlighting (#21955) ... * docs: reenabled syntax highlighting * docs: removed old syntax highlighting		2020-12-03 21:11:52 +01:00
..
index.html	docs: remove old syntax highlighting (#21955)	2020-12-03 21:11:52 +01:00