Skip to content

export/html: source files: improve <pre> rendering and no last newline #345

Merged
stanislaw merged 1 commit intomasterfrom
develop
Feb 22, 2021
Merged

export/html: source files: improve <pre> rendering and no last newline #345
stanislaw merged 1 commit intomasterfrom
develop

Conversation

@stanislaw
Copy link
Copy Markdown
Collaborator

No description provided.

@stanislaw stanislaw added the Documentation Improvements or additions to documentation label Feb 22, 2021
@stanislaw stanislaw requested a review from mettta February 22, 2021 18:04
@stanislaw stanislaw changed the title WIP: somestuff export/html: source files: split contents from Pygments by lines Feb 22, 2021
@stanislaw stanislaw enabled auto-merge February 22, 2021 20:19
@stanislaw stanislaw changed the title export/html: source files: split contents from Pygments by lines export/html: source files: improve <pre> rendering and no last newline Feb 22, 2021
@stanislaw stanislaw merged commit a384857 into master Feb 22, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant