Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Comments

Documentation: clean up old documentation#6957

Merged
ethomson merged 2 commits intomainfrom
ethomson/docs-ci
Dec 10, 2024
Merged

Documentation: clean up old documentation#6957
ethomson merged 2 commits intomainfrom
ethomson/docs-ci

Conversation

@ethomson
Copy link
Member

Clean up the outdated documentation folder before re-generating it in place. This accomodates a deleted API.

Clean up the outdated documentation folder before re-generating it in
place. This accomodates a deleted API.
@ethomson ethomson merged commit 27d82f1 into main Dec 10, 2024
@ethomson ethomson deleted the ethomson/docs-ci branch December 10, 2024 23:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant