Robin Stocker 64bbb3a235 [Docs] Clarify html encoder in highlighting.asciidoc (#27766)
The previous description was a bit confusing because the pre/post tags used for highlighting are not escaped, the rest of the content is.
2018-01-24 16:45:40 +01:00
..
2017-12-14 17:47:53 +01:00
2017-12-14 17:47:53 +01:00
2017-12-14 17:47:53 +01:00