Skip to content

chore(docs): cleanup#3

Merged
jeertmans merged 2 commits into
mainfrom
docs
Sep 3, 2024
Merged

chore(docs): cleanup#3
jeertmans merged 2 commits into
mainfrom
docs

Conversation

@jeertmans
Copy link
Copy Markdown
Owner

No description provided.

@jeertmans jeertmans added the documentation Improvements or additions to documentation label Sep 3, 2024
@jeertmans jeertmans merged commit 613e949 into main Sep 3, 2024
@jeertmans jeertmans deleted the docs branch September 3, 2024 10:03
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