Skip to content

Conversation

@ppolesiuk
Copy link
Member

Added specification of comments, as proposed here.

@ppolesiuk ppolesiuk requested a review from forell December 13, 2024 22:08
Copy link
Member

@forell forell left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I tweaked the English here and there, and I'm happy to merge this now. However, with JS enabled, the syntax highlighting for comments is embarrassingly broken right now. I think I know where to look for inspiration for a quick fix (shell heredocs do a similar "arbitrarily named delimiter" thing), so I'll make a separate PR.

@forell forell merged commit 01c86b8 into master Dec 14, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants