Skip to content

Update dev to match main#25

Merged
thomasthaddeus merged 3 commits intodevfrom
main
May 7, 2024
Merged

Update dev to match main#25
thomasthaddeus merged 3 commits intodevfrom
main

Conversation

@thomasthaddeus
Copy link
Owner

No description provided.

@thomasthaddeus thomasthaddeus added the documentation Improvements or additions to documentation label May 7, 2024
@thomasthaddeus thomasthaddeus self-assigned this May 7, 2024
@thomasthaddeus thomasthaddeus merged commit 164708c into dev May 7, 2024
thomasthaddeus added a commit that referenced this pull request May 7, 2024
Merge pull request #25 from thomasthaddeus/main
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