Skip to content

Fix syntax highlighting for strings with double-colons#278

Merged
mark-wiemer merged 2 commits intomainfrom double-colonNov 23, 2022

Commits

Commits on Nov 23, 2022