Skip to content

[docs] Cleanup docs#3

Merged
stuartparmenter merged 1 commit intomainfrom
doc_cleanup
Oct 31, 2025
Merged

[docs] Cleanup docs#3
stuartparmenter merged 1 commit intomainfrom
doc_cleanup

Conversation

@stuartparmenter
Copy link
Collaborator

The docs ended up with a good bit of duplicated content across them. This cleans them up to be more concise.

@stuartparmenter stuartparmenter merged commit 7f759f5 into main Oct 31, 2025
19 checks passed
@stuartparmenter stuartparmenter deleted the doc_cleanup branch October 31, 2025 03:39
@stuartparmenter stuartparmenter changed the title Cleanup docs [docs] Cleanup docs Oct 31, 2025
@stuartparmenter stuartparmenter added the documentation Improvements or additions to documentation label Oct 31, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant

Comments