Skip to content

Conversation

@ckormanyos
Copy link
Member

@ckormanyos ckormanyos commented Jun 28, 2025

The purpose of this PR is to handle the relatively simple text-based documentation redundancy mentioned in #685

@ckormanyos ckormanyos merged commit be584c5 into develop Jun 28, 2025
65 of 67 checks passed
@ckormanyos ckormanyos deleted the issue685 branch June 28, 2025 20:11
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.

2 participants