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

miscellaneous doc enhancements #813

Merged
merged 10 commits into from
Oct 31, 2024
Merged

miscellaneous doc enhancements #813

merged 10 commits into from
Oct 31, 2024

Conversation

eroell
Copy link
Collaborator

@eroell eroell commented Oct 30, 2024

PR Checklist

  • This comment contains a description of changes (with reason)
  • Referenced issue is linked fixes Miscallenous doc enhancements #811
  • If you've fixed a bug or added code that should be tested, add tests!
  • Documentation in docs is updated

Description of changes
Some doc enhancements, see linked issue

Technical details

Additional context

@github-actions github-actions bot added the chore label Oct 30, 2024
@eroell eroell added the documentation Improvements or additions to documentation label Oct 30, 2024
@Zethson
Copy link
Member

Zethson commented Oct 30, 2024

@eroell eroell marked this pull request as ready for review October 31, 2024 18:10
@eroell eroell requested a review from Zethson October 31, 2024 19:59
@Zethson
Copy link
Member

Zethson commented Oct 31, 2024

We could rename usage.md to API.md

@Zethson Zethson merged commit 90cb1d6 into main Oct 31, 2024
17 checks passed
@Zethson Zethson deleted the doc/adjust-tutorials branch October 31, 2024 20:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
chore documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Miscallenous doc enhancements
2 participants