avoid escaping highlighted code even if identical to source - #1671
Closed
devoto13 wants to merge 1 commit into
Closed
avoid escaping highlighted code even if identical to source#1671devoto13 wants to merge 1 commit into
devoto13 wants to merge 1 commit into