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.

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

Change to doc generation #143

Merged
merged 4 commits into from
Feb 11, 2021
Merged

Change to doc generation #143

merged 4 commits into from
Feb 11, 2021

Conversation

paultyng
Copy link
Contributor

@paultyng paultyng commented Feb 9, 2021

No description provided.

@paultyng paultyng requested a review from kmoe February 9, 2021 15:17
@ghost ghost added size/XXL labels Feb 9, 2021
@kmoe kmoe merged commit 73e21be into main Feb 11, 2021
@kmoe kmoe deleted the cleanup branch February 11, 2021 15:47
Copy link

I'm going to lock this pull request because it has been closed for 30 days ⏳. This helps our maintainers find and focus on the active contributions.
If you have found a problem that seems related to this change, please open a new issue and complete the issue template so we can capture all the details necessary to investigate further.

@github-actions github-actions bot locked as resolved and limited conversation to collaborators May 29, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants