djot.js icon indicating copy to clipboard operation
djot.js copied to clipboard
verified publisher icon jgm

support ::: tag-name

Open iacore opened this issue 1 year ago • 0 comments

This fixes https://github.com/jgm/djot/issues/240 but breaks the tests.

Hope this will be useful one day.

iacore avatar May 28 '24 22:05 iacore