Skip to content

small doc fix#2422

Merged
eruvanos merged 1 commit intodevelopmentfrom
doc/fixes
Oct 17, 2024
Merged

small doc fix#2422
eruvanos merged 1 commit intodevelopmentfrom
doc/fixes

Conversation

@eruvanos
Copy link
Member

No description provided.

@eruvanos eruvanos merged commit 47d40a0 into development Oct 17, 2024
@eruvanos eruvanos deleted the doc/fixes branch October 17, 2024 22:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant