Skip to content

Don't escape colons when writing verbatim fields#22

Merged
reknih merged 2 commits intotypst:mainfrom mutlusun:dont-escape-colonsMay 3, 2022
+21-4

Commits

Commits on May 2, 2022

Commits on May 3, 2022