Skip to content

commonmark writer: escape tilde (~).#106

Merged
kivikakk merged 1 commit intogithub:masterfrom
jgm:escape_special_chars
Aug 19, 2018
Merged

commonmark writer: escape tilde (~).#106
kivikakk merged 1 commit intogithub:masterfrom
jgm:escape_special_chars

Conversation

@jgm
Copy link
Copy Markdown

@jgm jgm commented Aug 18, 2018

This is a special character, both for code blocks and for
the optional strikeout extension.

Eventually we should have a way for the extensions to modify
what characters get escaped.

This is a special character, both for code blocks and for
the optional strikeout extension.

Eventually we should have a way for the extensions to modify
what characters get escaped.
@kivikakk
Copy link
Copy Markdown

Thank you!

@kivikakk kivikakk merged commit 17b339e into github:master Aug 19, 2018
talum pushed a commit that referenced this pull request Sep 14, 2021
This is a special character, both for code blocks and for
the optional strikeout extension.

Eventually we should have a way for the extensions to modify
what characters get escaped.
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.

2 participants