Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

New style for documentation preview #446

Merged
merged 1 commit into from
Jun 18, 2021
Merged

New style for documentation preview #446

merged 1 commit into from
Jun 18, 2021

Conversation

akosma
Copy link
Contributor

@akosma akosma commented Jun 18, 2021

Summary

This PR provides a new style when using make docs-preview.

Checklist

  • Keep pull requests small so they can be easily reviewed.

@akosma akosma added enhancement New feature or request documentation This issue or pull request affects documentation labels Jun 18, 2021
@akosma akosma requested a review from tobru June 18, 2021 12:53
@tobru tobru merged commit 4ca60c9 into master Jun 18, 2021
@tobru tobru deleted the new-style branch June 18, 2021 13:28
@ccremer ccremer added change Generic change that is neither a fix or feature and removed enhancement New feature or request documentation This issue or pull request affects documentation labels Jun 21, 2021
@huettner94 huettner94 mentioned this pull request May 2, 2023
Merged
4 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@tobru tobru Awaiting requested review from tobru

Assignees
No one assigned
Labels
change Generic change that is neither a fix or feature
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@akosma @tobru @ccremer