Closed laggarcia closed 2 years ago
New highlight.js release, new styles added. Adjusting coloreddiff while there isn't an automated way to do that.
New highlight.js release, new styles added. Adjusting coloreddiff while there isn't an automated way to do that.