Skip to content

[PlainSource] retain delimiters #1597

@pkra

Description

@pkra

From #1497 (comment)

I still think it might be useful to retain the delimiters and have an option to include them (i.e., make the page look more like a TeX source document), but that can wait for now.

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions