Skip to content

export/html: add index link in aside header content for doc/coverage …#403

Merged
mettta merged 1 commit intomasterfrom
front
Jul 2, 2021
Merged

export/html: add index link in aside header content for doc/coverage …#403
mettta merged 1 commit intomasterfrom
front

Conversation

@mettta
Copy link
Copy Markdown
Collaborator

@mettta mettta commented Jul 2, 2021

…templates

@mettta mettta merged commit c82507e into master Jul 2, 2021
@mettta mettta deleted the front branch July 2, 2021 21:54
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.

1 participant