2 ms·
Dug in the source, I believe they're using Prism's Diff Highlight plugin: https://prismjs.com/plugins/diff-highlight/ https://prismjs.com/plugins/diff-highligh
by lioeters 6y ago
Dug in the source, I believe they're using Prism's Diff Highlight plugin:
https://prismjs.com/plugins/diff-highlight/ https://prismjs.com/plugins/diff-highlight/
- deleted 6y ago[deleted]