Skip to content
New issue

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

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

Already on GitHub? # to your account

WIP: API docs updates #212

Merged
merged 4 commits into from
Jan 23, 2025
Merged

WIP: API docs updates #212

merged 4 commits into from
Jan 23, 2025

Conversation

larshinueber
Copy link
Member

A collection of minor API docs updates, WIP.

@DominicDirkx
Copy link
Member

@larshinueber thanks for all these changes. Any reason this can't be merged?

@larshinueber
Copy link
Member Author

No, no fundamental reason! I thought I would collect some changes so the PR is more substantial, but feel free to merge this and I'll open a new one :) (Same with tudat-team/tudat-space#163)

@larshinueber larshinueber marked this pull request as ready for review January 23, 2025 07:10
@DominicDirkx DominicDirkx merged commit 656fc8c into develop Jan 23, 2025
3 checks passed
@larshinueber larshinueber deleted the feature/api-docs-updates branch January 24, 2025 06:31
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
Status: Closed
Development

Successfully merging this pull request may close these issues.

2 participants